Incorrect complexity counting in shl_ro() function
The shl_ro()
intrinsic BASOP function is incorcetly instrumented. It sometimes yields to negative complexity numbers and on some compilers it may lead to an underflow resulting in values such as 4294967295.