Reading files ./benchmarks/wc.X
Finished reading module
Procedure main:
  Calculating dominator sets...
  done
  Printing dominator sets ...
  no dominator sets found; skipping
  Computing immediate dominators ...
  done
  Printing dominator tree ...
  no immediate dominators found; skipping
  Detecting loops ...
  done
  Printing control-flow graph in DOT format ...
  done
  Adding pre-headers ...
  done
  Calculating dominator sets...
  done
  Detecting loops ...
  done
  Printing control-flow graph in DOT format ...
  done
Procedure cnt:
  Calculating dominator sets...
  done
  Printing dominator sets ...
  no dominator sets found; skipping
  Computing immediate dominators ...
  done
  Printing dominator tree ...
  no immediate dominators found; skipping
  Detecting loops ...
  done
  Printing control-flow graph in DOT format ...
  done
  Adding pre-headers ...
  done
  Calculating dominator sets...
  done
  Detecting loops ...
  done
  Printing control-flow graph in DOT format ...
  done