Fixed bug in comparing to Negation expression. And optimisation fix.