(*) Small change on doubly linked finite interval tree in ForceAdd() method.