Updated Evaluator & AlphaBetaPVS