(Promela) Fixes regarding producing the sceduler XML