let path_string_of =
let rec aux arity = function
| Terms.Leaf a -> [Constant (a, arity)]
- | Terms.Var i -> assert (arity = 0); [Variable]
+ | Terms.Var i -> (* assert (arity = 0); *) [Variable]
+ (* FIXME : should this be allowed or not ?
| Terms.Node (Terms.Var _::_) ->
- (* FIXME : should this be allowed or not ? *)
- assert false
+ assert false *)
| Terms.Node ([] | [ _ ] ) -> assert false
| Terms.Node (Terms.Node _::_) -> assert false
| Terms.Node (hd::tl) ->