retractAndAssert(inf,store,0/*depth*/,D,N);
retractAndAssert(inf,store,0/*depth*/,D,N);
retractAndAssert(inf, db, depth+1, D, N);
retractAndAssert(inf, db, depth+1, D, N);
retractAndAssert(inf,store,0/*depth*/,D,N);
retractAndAssert(inf, db, depth+1, D, N);