public static boolean automaticInstanceSymbolP(Stella_Object symbol) {
    return (Stella_Object.symbolP(symbol) &&
        ((((Symbol)(symbol)).symbolName).charAt(0) == Logic.$AUTOMATIC_INSTANCE_CHARACTER$));
  }