Static Evaluator Implemented