sig val compute : unit -> unit val branches : Cil_types.stmt -> (Cil_types.block list * Cil_types.block list) option val pp_comment : Format.formatter -> Cil_types.stmt -> unit end