Added backward analysis and max variants.
Chains --> sub-lattices