public static void insertAnnotation(Proposition proposition, Keyword key, Stella_Object value) {
    { PropertyList annotations = ((PropertyList)(KeyValueList.dynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_ANNOTATIONS, null)));

      if (annotations == null) {
        annotations = PropertyList.newPropertyList();
        KeyValueList.setDynamicSlotValue(proposition.dynamicSlots, Logic.SYM_LOGIC_ANNOTATIONS, annotations, null);
      }
      annotations.insertAt(key, value);
    }
  }