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