Fix issue (#4) in which grading fails when using MUST_EVAL_TRUE.