nitc :: ToolContext :: poset_metrics_phase=
var poset_metrics_phase: Phase = new PosetMetricsPhase(self, null)