ClangFrontend.ObjcMethod_decl
val get_methods : CAst_utils.procname_from_decl -> IR.Tenv.t -> ATDGenerated.Clang_ast_t.decl list -> IR.Procname.t list