public void addReal(final VarExpr real) {
		if (real.stmt() instanceof PhiStmt) {
			return;
		}

		final Block block = real.block();

		if (real.isDef()) {
			defBlocks.add(block);
		}

		Assert.isTrue(block != null, real + " not in a " + block);

		LinkedList l = reals[cfg.preOrderIndex(block)];

		if (l == null) {
			l = new LinkedList();
			reals[cfg.preOrderIndex(block)] = l;
		}

		l.add(real);
		allReals.add(real);
	}