Run.G
type variable = M.key
type property = P.property
val foreach_root : (variable -> property -> unit) -> unit
val foreach_successor : variable -> property -> (variable -> property -> unit) -> unit