public List realsAtBlock(final Block block) {
			final int blockIndex = cfg.preOrderIndex(block);

			final List r = reals[blockIndex];

			if (!realsSorted[blockIndex]) {
				sortExprs(r);
				realsSorted[blockIndex] = true;
			}

			return r;
		}