- Ensure that the input formula is in negation normal form before passing it to the subsequent automaton constructions.
- Catch the IllegalArgumentException if there are too many fixpoints to consider.