@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
}