def METHOD_NAME():
  parser = argparse.ArgumentParser(description='Perform an SCC decomposition of a .aut file. The SCCs are written to separate .aut files.')
  parser.add_argument('--path', action='store_true',
                      help='Also store a path from the initial state with each SCC.')
  parser.add_argument('--find', type=str, metavar='ACTION',
                      help='Do not do SCC composition. Instead, search for an action and print a trace to it.')
  parser.add_argument('file', metavar='FILE', nargs='?', type=str, 
                      help='The .aut file to read from (omit to use STDIN).')
  args = parser.parse_args()
  alg = SCCDecomp()
  alg.load(args.file)
  if args.find is not None:
    alg.findFLAG(args.find)
  else:
    alg.findSCCs(args.path)