Representation of the analysis lattice.

@author Anders Møller <amoeller@cs.au.dk> @author Peter Thiemann <thiemann@informatik.uni-freiburg.de>