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