Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie