Patched version of IMP for usage in Spoofax