Changed the labelling of schedule refinement rules to ensure uniqueness