phase: make `phases_list` lazy because of run_phases_on_npropdef