 --> [ local path prefix ]/state_machine/redef/constant.fpp:3:12
  |
3 |   constant c = 1
  |            ^ redefinition of symbol c
  |
 ::: [ local path prefix ]/state_machine/redef/constant.fpp:2:3
  |
2 |   constant c = 0
  |   -------------- previous definition is here

 --> [ local path prefix ]/state_machine/redef/constant.fpp:1:15
  |
1 | state machine SM {
  |               ^^ state machine must have initial transition

