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.
microproofs