It was not consuming the next case if there was no condition being checked in the clause. Now it properly always consumes the next clause unless last clause.
refactor: remove some clones and use a ref instead test: add acceptance test 81
microproofs