Added Range analysis lattice stuff. Don't know if it compiles. Sorry if everything breaks.