Code review comment for lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689

The problem is not fixed. Open e.g. the intro example and change it to untimed net. Then open the query and advanced view and "merge net components". It will open a new merged net that is not both timed and it is also a game.