code: @Override
      public int stage3EquivalenceStatements(ProtoNetwork network) {
          StatementEquivalencer e = new StatementEquivalencer(network);
          int equivalences = e.equivalence();
          return equivalences;
      }
docs: {@inheritDoc}