Add failing test (loops with switch)

Thanks to Charlie Shepherd for the report.
Reset label table after switch and loop elimination

This is a work-around to a bug in eliminate_switch_loop
which does not preserve the label table invariants.