def METHOD_NAME():
    cmdline_parser = argparse.ArgumentParser(description='Simple script for experimenting with variable orders.')
    cmdline_parser.add_argument('pbesfile', metavar='FILE', type=str, help='a .pbes file')
    cmdline_parser.add_argument('iterations', help="the number of iterations of hill climbing", type=int, default=1000, nargs='?')
    cmdline_parser.add_argument('--groups', help="none or simple", default='none')
    args = cmdline_parser.parse_args()
    run(args)