val simple_body_access : Names.GlobRef.t -> EConstr.constr