all incorrect tests are now rejected; only one failed testcase in total (definite return analysis for while conditions)(Simon_correct_22.mj)