let is = function
    | Term.Var _ -> true
    | Term.App(f, al, _) ->
        Sym.Array.is f && List.for_all Term.is_var al