Cfg_prologue
val run : Cfg_with_infos.t -> Cfg_with_infos.t
val validate : Cfg_with_infos.t -> Cfg_with_infos.t