modified erase() in strict ladder, added a pool for Top in relaxed ladder, related changes in other files.