- path structure of abstract / concrete states
- no recursive send calls anymore (ended always in stack overflow before)