k-CFA that takes the greatest lower bound of colliding values