 --> [ local path prefix ]/spec_init/undef_phase.fpp:7:9
  |
7 |   phase P "c phase P"
  |         ^ cannot find constant `P` in scope

