Update BoundingIntervalHierarchyWrapper.h