let included a b =
let zas = flatten [] a in
let zbs = flatten [] b in
let zb = zunion zbs in
List.fold_left
(fun acc z ->
if List.exists (Fol.bad_eq_terms z) zbs
then acc
else Bag.add (p_app "included" [z;zb]) acc)
Bag.empty zas