Merge pull request #1477 from diffblue/smv-no-next-allowed

SMV: check for cases of disallowed `next`

Author: tautschnig

regression/smv/CTL/smv_ctlspec3.desc

@@ -1,7 +1,7 @@
-KNOWNBUG
+CORE
 smv_ctlspec3.smv
 
-^file .* line 5: next\(...\) is not allowed here$
+^file .* line 8: next\(...\) is not allowed here$
 ^EXIT=2$
 ^SIGNAL=0$
 --