Debug NuSMV Files: syntax errors in definition of var noError