Symbol: tomoyo_transition_type