Code review comment for lp:~tapaal-contributor/tapaal/redirect-game-engine-cpn

Approximation options should not be available when the lens is untimed and the state-equation options cannot be enabled and partial-order reduction option is missing.