let get_with_formals = With_formals.memo (fun kf -> remove_locals_keep_formals kf.fundec (get_internal kf))