(** This module implements functionality that works on graphs like the CFG.
   Most of its functionality is implemented by using BAP's Graphlib.Std. *)