add tests for not expressions