Cryptol.TypeCheck.Solver.Numeric.Simplify1
propToProp'
ppProp'