Updated with changes to Spoofax' InputTermBuilder