public static LogicObject createAnonymousInstance(String prefix, boolean skolemP) {
    { Symbol instancename = Symbol.internSymbolInModule(Stella.yieldUniqueGensymName(prefix, Logic.$PL_ANONYMOUS_MODULE$), Logic.$PL_ANONYMOUS_MODULE$, true);
      LogicObject instance = (skolemP ? Logic.createSkolem(null, instancename) : ((LogicObject)(Logic.createLogicInstance(Surrogate.internSurrogateInModule(instancename.symbolName, ((Module)(instancename.homeContext)), true), null))));

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