Majorly reworked range analysis lattice and flowfunction.