fixed components of fadd (encoders&barrel-shifters)