Added lattice for constants analysis.