macos - 署名付き mkBV2Int を使用して発生した SIGSEGV

Question

次のコードは SIGSEV につながります

Map<String, String> settings = new HashMap<String, String>();
settings.put("model", "true");
Context z3_ctx = new Context(settings);
BitVecExpr bv_left = z3_ctx.mkBV(10, 32);
IntExpr ret_val = z3_ctx.mkBV2Int(bv_left, true); 

signed==false の場合、問題は発生しません。

MAC OS X で Z3 を実行しています。

何か案は？