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