def METHOD_NAME():
    process_configurations()
    make_common_file()
    make_proof_files()
    try:
        create_cbmc_yaml_files()
    except CalledProcessError as e:
        logging.error(textwrap.dedent("""\
            An error occurred during cbmc-batch generation.
            The error message is: {}
            """.format(str(e))))
        exit(1)
    # Patch headers directly instead of creating patch files.
    patch.patch()
    patch_headers(HEADERS)
    #try:
    #    create_patches(HEADERS)
    #except (DirtyGitError, PatchCreationError) as e:
    #    logging.error(textwrap.dedent("""\
    #        An error occurred during patch creation.
    #        The error message is: {}
    #        """.format(str(e))))
    #    exit(1)