public static LogicObject createHypothesizedInstance(String prefix) {
    { LogicObject instance = Logic.createAnonymousInstance(prefix, true);

      KeyValueList.setDynamicSlotValue(instance.dynamicSlots, Logic.SYM_LOGIC_HYPOTHESIZED_INSTANCEp, Stella.TRUE_WRAPPER, Stella.FALSE_WRAPPER);
      return (instance);
    }
  }