New guard evaluator, using precomputing and the optimized expression solver ~80x speedup in modelchecker