Logic operator fix

Added test for NOT, AND and OR operators
Fixed wrong PassiveChecker behavior
Removed unused files