Improve the parsing EVAL theorem by partially evaluating it better.