DFMonad

data DataflowLattice a

class DataflowAnalysis m

type DFM fact a

runDFM

liftToDFM

markGraphRewritten

graphWasRewritten