sig val flatten : Fol.term list -> Fol.term -> Fol.term list val zunion : Fol.term list -> Fol.term val included : Fol.term -> Fol.term -> Fol.pred Bag.t end