parameter increase step: disproving, not proving
parameter increase step: disproving, not proving

That is, we increase the parameter now if we cannot prove that it's a bad
idea. This is an overapproximation, which leads to more exploration at the
cost of more time, which is probably good.

jck/accept,jck/accept,uwsampa/accept,jck/accept,jck/accept,uwsampa/accept,uwsampa/accept,uwsampa/accept