add logic function BitSize and use it in contracts
finish spec and implementation of decoder fir Adhesion_Factor