testEvaluationFalsehoods :: [Test] 
testEvaluationFalsehoods = [falseInACTest1, falseCondNoRename1]
testEvaluationFalsehoods :: [Test]
testEvaluationFalsehoods = [falseInACTest1, falseCondNoRename1]
testEvaluationFalsehoods = [falseInACTest1, falseCondNoRename1]