Cryptol.TypeCheck.Solver.Simplify

tryRewritePropAsSubst