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