internal void PushActionFrame(Action action, XPathNodeIterator nodeSet) {
     ActionFrame frame = PushNewFrame();
     frame.Init(action, nodeSet);
 }