let
conditions_table =
Cil_datatype
.
Stmt
.
Hashtbl
.create 5