asserting remove, modified SplayTree(), debugging