Method prove

examples/java/JavaGenericExample.java:236–240

(Context ctx, Expr<BoolSort> f, boolean useMBQI)

    }

    void prove(Context ctx, Expr<BoolSort> f, boolean useMBQI) throws TestFailedException
    {
        BoolExpr[] assumptions = new BoolExpr[0];
        prove(ctx, f, useMBQI, assumptions);
    }

    @SafeVarargs
    final void prove(Context ctx, Expr<BoolSort> f, boolean useMBQI,