return Test.makeFieldGetCall(cflowStackField, cflowStackIsValidMethod, Expr.NONE);
	public Test findResidue(Shadow shadow, ExposedState state) {		//System.out.println("find residue: " + this);		for (Iterator i = slots.iterator(); i.hasNext();) {			Slot slot = (Slot) i.next();			//System.out.println("slot: " + slot.formalIndex);			state.set(slot.formalIndex, 				new BcelCflowAccessVar(slot.formalType, cflowStackField, slot.arrayIndex));		}				return Test.makeFieldGetCall(cflowStackField, cflowStackIsValidMethod, Expr.NONE);	}