private void resetLater(final ExprInfo exprInfo, final Phi phi) {
		phi.setLater(false);

		final Iterator blocks = cfg.nodes().iterator();

		while (blocks.hasNext()) {
			final Block block = (Block) blocks.next();

			final Phi other = exprInfo.exprPhiAtBlock(block);

			if (other == null) {
				continue;
			}

			final Iterator e = other.operands().iterator();

			while (e.hasNext()) {
				final Def def = (Def) e.next();

				if ((def == phi) && other.later()) {
					resetLater(exprInfo, other);
					break;
				}
			}
		}
	}