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