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