Code review comment for lp:~tapaal-contributor/verifypn/update-parser

Generally, check if you can use const-ref, use typedefs, and try to chop your methods/functions into smaller pieces.

Also remove dead/commented out elements where it is no longer needed - and validate that the "fail on error"-pieces you removed should really be removed (i.e. the calls to std::exit).