- possibility of "turning off" certain actions when calculating states
- possibility of adding predicates manually
- GUI?

