method
vstmt s =
Db
.
Value
.update_table s
Cvalue
.
Model
.top;
Cil
.
DoChildren