correct lub for constant propagation lattice