if (atTerminal) stackTemp[nestingLevel + 7] =1; else stackTemp[nestingLevel + 7] =0;
	public void push() {		for (int i = 0; i < nestingLevel; i++) {			stackTemp[i] = context[i];		}		stackTemp[nestingLevel] = l1index;		stackTemp[nestingLevel + 1] = l2index;		stackTemp[nestingLevel + 2] = l3index;		stackTemp[nestingLevel + 3] = l2lower;		stackTemp[nestingLevel + 4] = l2upper;		stackTemp[nestingLevel + 5] = l3lower;		stackTemp[nestingLevel + 6] = l3upper;		contextStack.store(stackTemp);	}