public Collection realsAtBlock(final Block block) {
		LinkedList l = reals[cfg.preOrderIndex(block)];

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

		return l;
	}