- possibility of "turning off" certain actions (only when calculating states)
- possibility of adding predicates manually
- export to Prism format (a tool that may allow simulation?)

