 --> [ local path prefix ]/state_machine_defs/nested_type_undef.fpp:2:15
  |
2 |   signal sig: Undefined
  |               ^^^^^^^^^ cannot find type `Undefined` in scope

 --> [ local path prefix ]/state_machine_defs/nested_type_undef.fpp:1:15
  |
1 | state machine S {
  |               ^ state machine must have initial transition

