Labelled_transition_system loading ...