let pp fmt rho =
    if rho.valuation <> [] then
        Pretty.list' (Pretty.assign Name.pp Pretty.bool) fmt rho.valuation;
    if rho.literals <> [] then
      Pretty.list' Atom.pp fmt rho.literals