@Test public void infeasibleTerminalCount() throws Exception { VFState state = createBenzeneToNaphthalene(AtomMatcher.forAny(), BondMatcher.forAny()); assertTrue(state.feasible(4, 4)); // 4, 4 is feasible state.add(0, 0); state.add(1, 1); state.add(2, 2); state.add(3, 3); assertFalse(state.feasible(4, 4)); // 4, 4 is infeasible }