added skeletal TestSuite::correctness