[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)