તે બચાવ કામગીરી માટે આવે છે લૂપ, જે તેના પ્રતિરૂપ વખતે થોડી અલગ છે, કારણ કે તેની ડિઝાઇન ફક્ત postcondition કરતાં થોડી વધુ જટિલ છે.