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