let conditions_table = Cil_datatype.Stmt.Hashtbl.create 5