public static Symbol trueVariableName(Symbol variable) {
    if (((Keyword)(Stella.$TRANSLATOROUTPUTLANGUAGE$.get())) == Stella.KWD_JAVA) {
      { Stella_Object alias = Symbol.getLocalVariableInfo(variable, Stella.KWD_ALIAS);

        if (alias != null) {
          return (((Symbol)(alias)));
        }
      }
    }
    return (variable);
  }