Tests to check for the bug fix described in Ticket #5135. The affected code in boost/icl/type_traits/is_interval.hpp has been fixed before this commit already.