Segfault in "ltl2tgba"
"ltl2tgba" appears to segfault when running:
/path/to/ltl2tgba -f "(TRUE ) -> (TRUE & (~((~~ X (( G X v7 & ~ G ~v9) | v3) & ((~(~ F F X X v1 | ( X F X X v9 U v5)) | v3) | ((~~v7 | F ~ G ~v1) | (((~v1 | ~ X G F F F ~ G X G G v1) & ~ F F v9) | ( G X v1 U v7))))) | (( X ((v1 U G X F X F ~ X X v7) & F v5) & ~(~( X ~v3 | G X X v7) & v9)) U ~v9))))"
Unfortunately, I don't have a smaller example on which the problem occurs. Tested on the commit from the 9th of December 2022, hash value c9ba9982.