sig
  val clear : unit -> unit
  val computeIDom : Cil_types.fundec -> Cil_types.stmt option Inthash.t
  val getIdom :
    Cil_types.stmt option Inthash.t ->
    Cil_types.stmt -> Cil_types.stmt option
  val dominates :
    Cil_types.stmt option Inthash.t ->
    Cil_types.stmt -> Cil_types.stmt -> bool
  val findNaturalLoops :
    Cil_types.fundec ->
    Cil_types.stmt option Inthash.t ->
    (Cil_types.stmt * Cil_types.stmt list) list
end