public static Symbol yieldAnonymousSkolemName(boolean variableP) {
    { String suffix = (variableP ? Native.integerToString(((long)(Native.setIntSpecial(Logic.$VARIABLEIDCOUNTER$, ((Integer)(Logic.$VARIABLEIDCOUNTER$.get())).intValue() + 1)))) : Native.integerToString(((long)(Logic.$SKOLEM_ID_COUNTER$ = Logic.$SKOLEM_ID_COUNTER$ + 1))));

      return (Symbol.internSymbol(((variableP ? "?V" : "SK")) + (((suffix.length() == 1) ? "0" : "")) + suffix));
    }
  }