Added support of != operator.Added not_expr invertible evaluation. Fixed bug of erasing original rule in rewriter.