@Test
public void infeasibleRemainCount() throws Exception {

    VFSubState state = createBenzeneToNaphthalene(AtomMatcher.forAny(), BondMatcher.forAny());
    assertTrue(state.feasible(0, 0)); // 0,0 is feasible
    // XXX: depends on molecule order not changing
    state.m1[1] = 1;
    state.m1[5] = 5;
    state.t2[1] = 1;
    state.t2[9] = 1;
    assertFalse(state.feasible(0, 0)); // 0,0 is infeasible
}