NuSMV worked on simple.gtl but not on mutex.gtl