NOBUG allowed bus-style outputs in fsmconv