Fix.DATA_FLOW_GRAPH
type variable
type property
val foreach_root : (variable -> property -> unit) -> unit
val foreach_successor : variable -> property -> (variable -> property -> unit) -> unit