[GUI] running NuSMV analysis on empty component returns error
Running analysis from verification patterns on empty component shows an error.
Change to:
Show a message box listing the empty components and ask user if he/she
wants to change these components to “use guarantees”. If user presses
yes then change these empty components to “use guarantees”, else don’t
run the analysis
(from redmine: issue id 2227, created on 2015-01-22, closed on 2016-09-26)