method
vstmt s =
Db
.
Value
.update_table (
Kstmt
s)
Relations_type
.
Model
.empty;
Cil
.
DoChildren