void getCoverDelta(int level, FuncDecl pred) { _c._z3.fixedpoint_get_cover_delta( _fp, level, _c._createFuncDecl(pred), ); }