let is_internal = function
  | Slack _ -> true
  | Rename _ -> true
  | _ -> false