(*) Added a new constructor to the StaticFiniteIntervalList