the GEL bounded-PI RTA requires `lia` cleanup
results/gel/rta/bounded_pi.v contains several slow-ish lia invocations; these should be optimized with clear -.
results/gel/rta/bounded_pi.v contains several slow-ish lia invocations; these should be optimized with clear -.