Add bounds for xnext in recsAuxiliary