updated test, adding some terms to the E-graph so that unifying isdone purely by closing w.r.t peano arithmetic
updated test, adding some terms to the E-graph so that unifying isdone purely by
closing w.r.t peano arithmetic

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition