Towards State Space Reduction Based on T-Lumpability-Consistent Relations