sig
  val get_idom : Cil_types.stmt -> Cil_types.stmt option
  val dominates : Cil_types.stmt -> Cil_types.stmt -> bool
end