addFuncInterp method
Implementation
FuncInterp addFuncInterp(FuncDecl decl, Expr defaultValue) {
final result = _c._z3.add_func_interp(
_model,
_c._createFuncDecl(decl),
_c._createAST(defaultValue),
);
return _c._getFuncInterp(result);
}