Everything is working from end to end. 
1. Launching from nusmv, python and dot from eclipse
2. Counter example view