this_program(< RangeType >)|zero res = ADT.Interval() & i
this_program
RangeType
zero
ADT.Interval()
i