(Promela) The scripts running the model checker can now print the new scheduler as XML