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