În a doua iterație vedem că suma calculată în prima iterație pentru cel mai puțin semnificativ bit al lui "sum" este 1. Din datele de intrare: "a[0] == 0", "b[0] == 0" și "c_in == 0" am deduce că această sumă ar trebui să fie 0. Inspectând expresia pentru calcul sumei, observăm că rezultatul pentru toți biții lui "sum" se calculează cu "b[1]".