lz.repeat generalization and condition removal