let vtables_using_table_part = fun table ->
let vtable_use_table = fun vtable ->
vtable.vt_ftable == table || (* Phys. eq *)
List.exists (fun (t, _) -> t == table) vtable.vt_join
in
List.partition vtable_use_table table.ta_db.db_vtables