let pp fmt rho =
    if rho.valuation <> [] then
        Pretty.map Name.pp Pretty.bool fmt rho.valuation;
    if not(Atom.Set.is_empty rho.literals) then
      Pretty.list Atom.pp fmt (Atom.Set.elements rho.literals)