testEvaluationTruths :: [Test] 
testEvaluationTruths = [inACTest1, condNoRename1]
testEvaluationTruths :: [Test]
testEvaluationTruths = [inACTest1, condNoRename1]
testEvaluationTruths = [inACTest1, condNoRename1]