refined carry_lookahead_adder