let lit_disj l = List.fold_right PSet.add l PSet.empty