Optimizing FullAdderCarry