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