ZipDataflow
class DebugNodes m l
data LastOutFacts a
data ForwardTransfers middle last a
data BackwardTransfers middle last a
data ForwardRewrites middle last a
data BackwardRewrites middle last a
data ForwardFixedPoint m l fact a