Replace Overflow BASOP-Operators by overflow-free variants in lib_dec