testRenamingEval :: [Test] 
testRenamingEval = [ condRename1, condRename2 , canSayRename1, testESSoSExample ]
testRenamingEval :: [Test]
testRenamingEval = [ condRename1, condRename2 , canSayRename1, testESSoSExample ]
testRenamingEval = [ condRename1, condRename2 , canSayRename1, testESSoSExample ]