[LV] Replace value numbers with patterns in tests (NFC).

 Replace some hardcoded value numbers in CHECK-LINES to use patterns, to
 make the tests more robust wrt renumbering.