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

If you run verification and no reduction rules were applicable, the verification answer still offers "Open reduced net" but when you click nothing happens. If no reduction rules are applicable, then the button show not be enabled.