let is_internal = function
  | Var(x) -> Var.is_rename x || Var.is_slack x 
  | _ -> false