Implement RequireCheckingReturnValueOfEval