H.Exceptionless
val find : 'a t -> MyCFG.node -> 'a option
val modify : MyCFG.node -> ('a -> 'a) -> 'a t -> (unit, exn) BatPervasives.result