interval_tree_size class moved