Adds specification for RangeList