public VarType getVariable(int index) {
    if (index < localVariables.size()) {
      return localVariables.get(index);
    }
    else {
      return new VarType(CodeConstants.TYPE_NOTINITIALIZED);
    }
  }
public VarType getVariable(int index)