`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`