/tests/fstar-split/betree_back