Labeled_Transition_Systems.LTS