module Cabsbranches:sig
..end
val compute : unit -> unit
val branches : Cil_types.stmt -> (Cil_types.block list * Cil_types.block list) option
stmt
is an original "if-then-else" statement,
returns the list of blocks associated to "then" and "else"
branchesval pp_comment : Format.formatter -> Cil_types.stmt -> unit