Code review comment for lp:~tapaal-contributor/tapaal/engine-option-matrix-dev

Made the suggested changes, except for 2 comments. I left some comments in the diff.

Members are now static/final and I use the max function when calculating the highest degree.