let find graph stmt = try Inthash.find graph stmt.sid with Not_found -> assert (match stmt.skind with Return _ -> true | _ -> false); raise Not_found