carry = startSymbolicCarry(ca3, i - 1, 0);
carry = startSymbolicCarry(ca3, i - 1, 0);
carry = checkForCarry(ca1, i0 + p + 1); if (carry) { carry = startSymbolicCarry(ca1, i0 + p, i0);
carry = checkForCarry(ca1, i0 + p + 1); if (carry) { carry = startSymbolicCarry(ca1, i0 + p, i0);