An addition to NuSMV to support generation of additional counter examples