Method ADT.Interval()->`+()

Method `+

this_program res = ADT.Interval() + i