public static void addForwardJustifications(Proposition proposition, Justification justification) {
    { List justifications = proposition.forwardJustifications();

      { boolean foundP000 = false;

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

          loop000 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            just = ((Justification)(iter000.value));
            if (Justification.justificationEqlP(just, justification)) {
              foundP000 = true;
              break loop000;
            }
          }
        }
        if (foundP000) {
          return;
        }
      }
      if (justifications == Stella.NIL_LIST) {
        justifications = List.list(Stella.NIL);
        KeyValueList.setDynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_FORWARD_JUSTIFICATIONS, justifications, null);
      }
      justifications.push(justification);
    }
  }