able to translate mutex2.gtl

ERROR while executing NuSMV
file stdin: line 28: It is not possible to assign a whole array