let
get_stmt_state states stmt =
Inthash
.find states stmt.
Cil_types
.sid