@Test
public void testAt() {

	String[] before = {
			"......#",
			".....#.",
			"..#...#",
			".#.#...",
			"..#....",
			".......",
			".......",
	};
	board.setUpProblem(before, BLACK);
	assertFalse(disjunction.at(at("g6")));
	assertTrue(disjunction.at(at("c4")));
	assertTrue(disjunction.at(at("a2")));
	assertTrue(disjunction.at(at("d3")));
}