Modify patch such that building r11707 of mCRL2 succeeds with GCC 4.4.4
Merge branch 'master' of github.com:jkeiren/pbesstategraph-experiments
Print and parse pbes after quantifier-one-point