Tested the program's ability to detect inconsistent classes