Hi, what do you think about exposing union_with_product_map to python? Then, my potential use case would also need something like is_in_lang which returns the actual intersection with final states, not only a boolean saying whether the intersection is non-empty.

I can implement it but what's your opinion about this?