(Promela) Added initializers to the schedules. Added a check for progress when looking for a schedule.