Error in PIE file with incremental/concurrent solver but not with traditional solver

[MeAmAnUsername]

Bug description
Error in PIE file with incremental/concurrent solver but not with traditional solver

Versions
Eclipse: org.eclipse.platform.ide 4.16.0.I20200604-0540
Spoofax: org.metaborg.spoofax.eclipse 2.6.0.20220405-144549-master
System: Mac OS X x86_64 10.14.6
Statix setup: multi-file

Steps to reproduce the behavior
Not the smallest, but it is self contained: switchToIncremental.txt.
Github only allows specific file types, so you'll have to change the extension back to stxtest

Observed behavior
Evaluating the test as normally results in zero errors, evaluating the file with the concurrent solver results in 2 errors.

Expected behavior
No errors regardless of the solver. At the very least I expect that the results match.

Additional context
Originally found with incremental solver, but there is no option to evaluate a stxtest with the incremental solver yet.