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