- better documentation
- added possibility to name states for debugging
- fixed the future tests