let is_fresh = function Rename _ -> true | _ -> false