refactoring problems solved
SympleTestEvaluator deleted and added the proof to ComplexTestEvaluator