void getNumLevels(FuncDecl pred) { _c._z3.fixedpoint_get_num_levels(_fp, _c._createFuncDecl(pred)); }