Added unit tests for NOT (#303)