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