void push(boolean global)
void push(int type)
  void push(boolean global)  {    if (global)      {        variables.addFirst(new HashMap());      }    else      {        parameters.addFirst(new HashMap());      }  }