Added check to require a ReturnStatement inside an EvaluatorBody (closed #932)