let
help =
Printf
.sprintf
"Bounds the number of splited sub-goals to 2**n (default 2**%d)"
default