code: private void stage3Term(final ProtoNetwork network, int pct) {
          stageOutput("Equivalencing terms");
          int tct = p2.stage3EquivalenceTerms(network);
          stageOutput("(" + tct + " equivalences)");
      }
docs: Stage three term equivalencing.
  
  @param network the {@link ProtoNetwork network} to equivalence
  @param pct the parameter equivalencing count to control output