public void removePush() {
		if (stackMap == null)
			/* already done or mapping didn't succeed */
			return;
		stackMap = null;
		block.removePush();
		Iterator iter = successors.keySet().iterator();
		while (iter.hasNext()) {
			FlowBlock succ = (FlowBlock) iter.next();
			succ.removePush();
		}
	}