push_weights: might not terminate
Our current implementation of push_weights
is not satisfying. In particular it loops on some quite simple examples.
Try this automaton for example:
vcsn.context('lal_char, q').expression('(<1/2>ab)*<2>c+(<1/3>xy)*<2>z').standard()