mk
open fun <T : KBvSort> mkBvDivNoOverflowExprNoSimplify(arg0: KExpr<T>, arg1: KExpr<T>): KBvDivNoOverflowExpr<T>
Create BitVec div-no-overflow check expression. Determines that BitVec arithmetic signed division does not overflow.