public static void recordForwardJustification(Cons antecedents, Proposition forwardrule, Vector arguments, Proposition consequentproposition, Justification bcJustification) {
    if (!((Boolean)(Logic.$RECORD_JUSTIFICATIONSp$.get())).booleanValue()) {
      return;
    }
    { List justifications = consequentproposition.forwardJustifications();
      ForwardJustification newFj = Logic.createForwardJustification(antecedents, forwardrule, arguments, consequentproposition, bcJustification);

      { Justification fj = null;
        Cons iter000 = justifications.theConsList;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          fj = ((Justification)(iter000.value));
          if (((Justification)(fj.antecedents.value)).proposition == forwardrule) {
            fj.substitution = newFj.substitution;
            fj.antecedents = newFj.antecedents;
            return;
          }
        }
      }
      Proposition.addForwardJustifications(consequentproposition, newFj);
    }
  }