Retain assertions about subrange inputs