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