for(int i = vn.context[0]+1;i<vn.context.length;i++){ contextCopy[i]=-1; }
public void selectElement_P(String en) {	depth = vn.getCurrentDepth();	iter_type = PRECEDING;    ft = true;	    name = en;    contextCopy = (int[])vn.context.clone();    contextCopy[0]=vn.rootIndex;}