Added test test_LM_concrete_all_transitions_with_implicit_transition_name