let
states_after =
Cil_datatype
.
Stmt
.
Hashtbl
.create 5