Sequence totally working
The precedent sequence didn't take every case into account. Now the Sequence translation should REALLY be working.
Adding Choice, Kleene and Synchronisation
Seems to work
Translation is working from Automata to QChoice (or at least seams to work).
Begining a code optimisation to simplify to functions