Cryptol.TypeCheck.Solver.Simplify
tryRewritePropAsSubst