(Promela) Added Instance name to the XML printer.