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