Performs "inline" optimizations. That is, finds equalities between variables and terms, and substitutes the term for the variable. Maintains a few invariants as it sweeps the assertions. First, maintains a set of variables being substituted. Second, maintain a
(assertions: &mut Vec<Term>, public_inputs: &FxHashSet<String>)
source not stored for this graph (policy: none)
no test coverage detected