Code review comment for lp:~tapaal-contributor/tapaal/show-reduced-net-1879130

The reduction gives error when called for timed net. The reduction show option should be available only if the lens says that the new is untimed and non-game.