[Emulink] Improved rendering of self-transitions (introduced additional control points to make the edge less pointy) + bugfix for PVS printer (missing comma in the initial state caused typecheck error)
Merge remote-tracking branch 'origin/beta'