added support for initial transitions in PVSPrinter
minor changes (additional check to avoid runtime errors)