Incorrect UBA

This was reported to me by Simon Jantsch:

ltl2tgba -U -B -f 'F(Ga | Gb)'

Is not unambiguous :-(

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information