entry_sequence compatible with Choice transition