spoofax.def bugfixes