fixed the call to clause in verify_predefined_safe_declarations