- consider action labels in lumping
- change choosing next partition to split in lumping
  should always take the smallest
- replace "star" by two different methods, one precise and one fast
  important for limited precision runs
- make parse_mc work again (low priority)
- make gnuplot_output work again (low priority)
- substitute "static" by usage of namespaces
- remove warnings
- stochastic weak bisimulation
- collect special cases for analyses that is, cases where one would
  divide by zero
- in bisimulation, make order for refinement choosable
- improve strong bisimulation
- improve DOT output
- rewards
  - expected instantaneous
  - expected accumulated
  (should both be simple, but must change lumping!)
- limit state exploration for bounded until
- method to set variables via command line
  (avoid for example having several BRP models, improves clarity)
- improve conversion to embedded CTMC (num/den look stupid)
- output to maple to avoid having to copy-paste polynomials (low priority)
- gnuplot output
- make switch for 'verbose' have an effect
- continue improving state explorer
- time and memory usage measure functions
- rename several files
- use smart pointers instead of vectors where appropriate
  probably we need a different container object, as "new" and "delete"
  break the reference counting for CoCoALib
- implement FoxGlynn algo directly with CoCoA functions
- MDP support
  (bounded reachabiliy)
- steady-state analyses
- Maple link
