releaseTreeVisit(tv); tv = currVisit;
releaseTreeVisit(tv); tv = currVisit;
releaseTreeVisit(tv); tv = currVisit;
releaseTreeVisit(tv); tv = currVisit;
releaseTreeVisit(tv); tv = currVisit;
releaseTreeVisit(tv); tv = currVisit;
releaseTreeVisit(tv); tv = currVisit;
releaseTreeVisit(tv); tv = currVisit;