Negation for syntax-only description + test case.