fix lazy generalize case