let
singleton (atm, rho) =
(
Atom
.
Set
.singleton atm, rho)