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