ADCL tries to accelerate loops with Boolean structure #7
Description
Happens for chc-comp23-benchmarks/LIA-lin/chc-LIA-Lin_365.smt2. The issue is that updates for Boolean variables introduce Boolean structure when chaining the transitions that constitute the loop. Presumably, the same problem occurs with ABMC.