[HORN] Protect names of stateless nodes with a _fun suffix. This was conflicting with existing names in Z3, ie. "abs".[HORN] Better treatment of stateless nodes collecting semantics Fixes issue #13 on github: https://github.com/coco-team/lustrec/issues/13
[Horn] Workaround to prevent the use of declared keywords as node name
Merge branch 'unstable' into merging_pluginsNon regression results were similar to master branch
[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)
adding onera automata version
Refactoring of the horn backend with Reset/Step instead of Init/Step.Teme, please perform a string non regression test wrt the previous version, to make sure we have the same model checking results.