DFMonad
data DataflowLattice a
class DataflowAnalysis m
type DFM fact a
runDFM
liftToDFM
markGraphRewritten
graphWasRewritten