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

Kenneth, I saw your comments and it was actually me who suggested to add the comments
for the true/false values. I think they are necessary for checking and making sure that
there is not any mistake. In the future, they should get updated should there be any change.