let help =
             "Submit proof obligations to external prover:\n * 'none' to skip proofs (default)\n Directly supported provers:\n * 'alt-ergo' (see also -wp-arrays)\n * 'coq', 'coqide' (see also -wp-script)\n Supported provers via Why:\n * 'simplify', 'yices', 'cvc3', 'z3', 'zenon'"