Actually, push negation down with non boolean expressions infix operands.
Added AllRefactoringsTest.

Added AllRefactoringsTest to ensure that running all refactoring rules together do not cause any problems.