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.