(*) Added parameterless constructor to DynamicIntervalTree