let is_var = function Var _ -> true | _ -> false