code: public void cleanUpMaybeDiscriminatorState() {
          if (this.dp != null) {
              Discriminator d;
              Iterator<Discriminator> it = this.dp.getDiscriminators().iterator();
              int i = 0;
              while (it.hasNext()) {
                  d = it.next();
                  if (Discriminator.MAYBE == this.discStatus[i++]) {
                      d.cleanUpState(this);
                  }
              }
          }
      }
docs: Clean up potential state information left in this VC from any
  of the discriminators in the group which resulted in MAYBE during
  the discrimination process.