mk
open fun <T : KBvSort> mkBvZeroExtensionExprNoSimplify(extensionSize: Int, value: KExpr<T>): KBvZeroExtensionExpr
Create BitVec zero extension (zeroext) expression. Returns a BitVec expression with extensionSize extra zero bits. The extra bits are prepended to the provided value.