sig
  val computeIDom : ?doCFG:bool -> Cil.fundec -> Cil.stmt option Inthash.t
  type tree
  val computeDomTree :
    ?doCFG:bool -> Cil.fundec -> Cil.stmt option Inthash.t * Dominators.tree
  val getIdom : Cil.stmt option Inthash.t -> Cil.stmt -> Cil.stmt option
  val dominates : Cil.stmt option Inthash.t -> Cil.stmt -> Cil.stmt -> bool
  val children : Dominators.tree -> Cil.stmt -> Cil.stmt list
  type order = PreOrder | PostOrder
  val domTreeIter :
    (Cil.stmt -> unit) -> Dominators.order -> Dominators.tree -> unit
  val findNaturalLoops :
    Cil.fundec ->
    Cil.stmt option Inthash.t -> (Cil.stmt * Cil.stmt list) list
end