639                 let mut lits2 = lits.to_empty();  in prefixes()  localVariable
640                 prefixes(e, &mut lits2);  in prefixes()
641                 if !lits.cross_product(&lits2) || !lits2.any_complete() {  in prefixes()
715                 let mut lits2 = lits.to_empty();  in suffixes()  localVariable
716                 suffixes(e, &mut lits2);  in suffixes()
717                 if !lits.cross_product(&lits2) || !lits2.any_complete() {  in suffixes()
738     let (mut lits2, mut lits3) = (lits.clone(), lits.to_empty());  in repeat_zero_or_one_literals()
742     if lits3.is_empty() || !lits2.cross_product(&lits3) {  in repeat_zero_or_one_literals()
746     lits2.add(Literal::empty());  in repeat_zero_or_one_literals()
747     if !lits.union(lits2) {  in repeat_zero_or_one_literals()
757     let (mut lits2, mut lits3) = (lits.clone(), lits.to_empty());  in repeat_zero_or_more_literals()
761     if lits3.is_empty() || !lits2.cross_product(&lits3) {  in repeat_zero_or_more_literals()
765     lits2.cut();  in repeat_zero_or_more_literals()
766     lits2.add(Literal::empty());  in repeat_zero_or_more_literals()
767     if !lits.union(lits2) {  in repeat_zero_or_more_literals()
821     let mut lits2 = lits.to_empty();  in alternate_literals()  localVariable
826         if lits3.is_empty() || !lits2.union(lits3) {  in alternate_literals()
835     if !lits.cross_product(&lits2) {  in alternate_literals()