Method disprove

examples/java/JavaGenericExample.java:268–273

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

    }

    void disprove(Context ctx, Expr<BoolSort> f, boolean useMBQI)
        throws TestFailedException
    {
        BoolExpr[] a = {};
        disprove(ctx, f, useMBQI, a);
    }

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