FunctionBodyValidationVisitor