Improved support for parallel arcs in FSMs.

* An arc can now have both empty and non-empty word as its labels.
* Parallel arcs are now correctly handled by determinisation.