rework add1 to not use out_do_z and use Mux instead of m.If/Else