[LV] Add tests with wide inductions and live-in step.

Also regenerate check lines and simplify existing tests and names.

Author: fhahn