Changes to the parser applied to RascalToJigll.