Optimize LiftTrivialIf and re-run it only on block-count change#2460
Open
ThrudPrimrose wants to merge 4 commits into
Open
Optimize LiftTrivialIf and re-run it only on block-count change#2460ThrudPrimrose wants to merge 4 commits into
ThrudPrimrose wants to merge 4 commits into