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