incomplete BoardCoverTest.testMainSecondExample()