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