let table_in_join = fun vtable table -> assert (vtable.vt_db == table.ta_db); (* Physical eq *) if vtable.vt_ftable == table then true else List.exists (fun (t, _) -> t == table) vtable.vt_join