let
to_lit l =
if
PSet
.cardinal l = 1
then
Some
(
PSet
.choose l)
else
None