void addCover(int level, FuncDecl pred, AST property) { _c._z3.fixedpoint_add_cover( _fp, level, _c._createFuncDecl(pred), _c._createAST(property), ); }