Enable assumptions for the evaluator