code: private void stage3Statement(final ProtoNetwork network, int pct) {
          stageOutput("Equivalencing statements");
          int sct = p2.stage3EquivalenceStatements(network);
          stageOutput("(" + sct + " equivalences)");
      }
docs: Stage three statement equivalencing.
  
  @param network the {@link ProtoNetwork network} to equivalence
  @param pct the parameter equivalencing count to control output