move _sync_prod from transys to products
fix imports and tolerate cyclic import

of ba_ts_sync_prod in automata from products
and ts_ba_sync_prod in transys from products