'Push a nonterminal.  (Internal)'

def _push(self, type_, newdfa, newstate):

    (dfa, state, node) = self.stack[(-1)]
    newnode = (type_, [])
    self.stack[(-1)] = (dfa, newstate, node)
    self.stack.append((newdfa, 0, newnode))
