Crashes on benchmarks with outputs with Upper-case letters

[5nizza]

During the parsing, I call syfco -f ltlxba but this lower-cases all signal names. Then I also use syfco -ins which does not lower-case the names. The result: they don't agree on the names.
(thanks to Michaël for discovering this)

[5nizza]

was fixed in the branch reg-trans in the commit 0993eac and will be merged into the master branch later.
As a solution, I used syfco -f ltl -m fully instead of syfco -f ltlxba -m fully.

[5nizza]

Alternative: use

syfco -f ltlxba -ins

instead of

syfco -f -ins

[5nizza]

was fixed and propagated to the master branch