Change to LabeeledTransitionSystems