Improved checkConsistenceTransFunction()