 --> [ local path prefix ]/state_machine/transition_graph/unreachable_choice.fpp:6:3
  |
6 |   choice C { if g enter S else enter S }
  |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ choice C is unreachable

