working when not bisimilar
Merge branch 'raphael' of github.com:figa12/CCS-tool into raphael