Module Checkers.ComputeCapturedInfo

val process : IR.Cfg.t -> unit