public static GeneralizedSymbol kifSymbolToStellaSymbol(Symbol symbol) {
    if (Logic.questionMarkSymbolP(symbol) ||
        Logic.automaticInstanceSymbolP(symbol)) {
      return (symbol);
    }
    else {
      return (Logic.coerceToBoundOrLocalSurrogate(symbol));
    }
  }