Clarify output when reusing existing data
Fix property for ABP
Add running example from the accompanying paper.
Merge branch 'master' of https://github.com/jkeiren/pbesstategraph-experiments