sig
  val computeIDom :
    Cil_types.fundec -> Cil_types.stmt option Datatype.Int.Hashtbl.t
  val getIdom :
    Cil_types.stmt option Datatype.Int.Hashtbl.t ->
    Cil_types.stmt -> Cil_types.stmt option
  val dominates :
    Cil_types.stmt option Datatype.Int.Hashtbl.t ->
    Cil_types.stmt -> Cil_types.stmt -> bool
  val findNaturalLoops :
    Cil_types.fundec ->
    Cil_types.stmt option Datatype.Int.Hashtbl.t ->
    (Cil_types.stmt * Cil_types.stmt list) list
end