વિવિધ માર્ગોએ ડિઝાઇન અને postcondition સાથે આ થોડું પાછળ ચક્ર પ્રભાવ ઉકેલવા માટે, જેથી તે વધુ ઘણા તુચ્છ કાર્યો કરવા માટે ઉપયોગમાં લો તેવી શક્યતા છે.