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