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