Allow arbitrary, nonzero assumptions
Allow arbitrary, nonzero assumptions

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