ResourceValueFrame frame = getFrame();
	public void visitARETURN(ARETURN ins) {		try {			ResourceValue topValue = frame.getTopValue();			if (topValue.equals(ResourceValue.instance()))				frame.setStatus(ResourceValueFrame.ESCAPED);		} catch (DataflowAnalysisException e) {			throw new IllegalStateException(e.toString());		}	}