Alexander Stekelenburg

Ah I found the issue. The quantifier is rewritten due to a rule in simplify.pvl, this means that its blame gets replaced by the blame of the quantifier in the...

I'd like to keep it open until we have a proper solution for transferring the blame, it should not be using the blames from the simplification rule but from the...

Yes I think you're right. Compared to https://github.com/antlr/grammars-v4/blob/master/cpp/CPP14Lexer.g4 the order between the Identifier and IntegerSuffix tokens is reversed which is probably the cause of the issue

Yeah not sure why that one started failing sometimes with recent changes. We do also have other tests that occasionally fail such as `examples/concepts/wand/TreeWandSilver.java`

I believe you fixed `cuda_blur.cu` right @sakehl? I fixed `TreeWandSilver`. Remaining inconsistent tests: (afaik) - `examples/publications/2020/permutations/oddEven.pvl`, `examples/publications/2020/permutations/permutation.pvl` (maybe some of the other permutation ones too? - Maybe `examples/concepts/c/pointer_tag.c` although I...

I'm pretty sure this is a duplicate of #1054