This patch removes check lines from a test input. It was originally copied from a test that had assertions automatically generated, but given we only use it as an input, the check lines do absolutely nothing. Remove them to improve readability of the test/prevent confusion.