Transition_system loading ...