sig
val computeIDom : Cil.fundec -> Cil.stmt option Inthash.t
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 findNaturalLoops :
Cil.fundec ->
Cil.stmt option Inthash.t -> (Cil.stmt * Cil.stmt list) list
end