Add Not to double-negative elimination
Add Not to double-negative elimination

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