dependence graph:
1->2: C:flow(0, 0, +) C:flow(0, 0, 0) C:output(0, 0, +) C:output(0, 0, 0)
2->2: C:anti(0, 0, +) C:output(0, 0, +)