[Emulink] patch for PIM parser (was erroneously omitting the first transition) + improved rendering of transitions in the diagram