let
unsat rho = (
Atom
.
Set
.empty, rho)