let get_stmt = function | Property.IPCodeAnnot(_,stmt,_) -> Some stmt | Property.IPAssigns(_,Kstmt stmt,_,_) -> Some stmt | _ -> None