Bug fix. The first example inside Rascal produces the correct parse tree