let is_ac = function | Name(_, Ac) -> true | _ -> false