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