level2TestCases =
  [ ("Single claim should be the claim itself", ["#1 @ 1,3: 4x4"], 1)
  , ("Given test case", ["#1 @ 1,3: 4x4", "#2 @ 3,1: 4x4", "#3 @ 5,5: 2x2"], 3)
  ]

level2Tests =
  TestLabel "Level 2" $
  TestList (map (makeTestWithLines level2) level2TestCases)