<!-- To consider beforehand: - Have you read and applied the Statix debugging guide at https://www.spoofax.dev/howtos/statix/debugging/? - Have you checked the reference documentation at https://www.spoofax.dev/references/statix/ on whether your idea of expected behavior is actually correct? - Have you checked whether the issue is already reported. If so, consider commenting on that issue with your specific scenario, instead of opening a new issue. --> **Bug description** Pre-compiling a query with a negation in its WFL does not terminate **Steps to reproduce the behavior** Use `Spoofax > Syntax > Show Pre-compiled AST` on ``` resolve query () filter (~L1)* in new |-> _ signature name-resolution labels L1 ``` **Observed behavior** Transformation running indefinitely. **Expected behavior** Open a file that contains the compiled version of the test.