Fix small issue with Unequal.simplify
Fix small issue with Unequal.simplify

GtTmy/pyeda,sschnug/pyeda,pombredanne/pyeda,sschnug/pyeda,cjdrake/pyeda,karissa/pyeda,cjdrake/pyeda,karissa/pyeda,cjdrake/pyeda,GtTmy/pyeda,pombredanne/pyeda,karissa/pyeda,sschnug/pyeda,pombredanne/pyeda,GtTmy/pyeda