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