pub fn domain_constants(exprs: &[ProofExpr]) -> Vec<ProofTerm>
The DOMAIN of a problem: every constant named across exprs. For a domain-closed finite problem this is the universe of individuals to ground over.
exprs