addresses improvement request #170 + improved parser rules and PVS printer for handling blank labels (default transitions tick and init)