fix a bug where local signals were not correctly being identified as typed

Author: lken274

plugins/de.cau.cs.kieler.esterel/src/de/cau/cs/kieler/esterel/processors/transformators/incremental/LocalSignalDeclTransformation.xtend

@@ -58,9 +58,10 @@ class LocalSignalDeclTransformation extends AbstractSCEstDynamicProcessor<LocalS
             var decl = createDeclaration(ValueType.BOOL, s)
             voStore.update(s, "signal")
             var decl2 = createDeclaration(null, null)
-            if (signal.type !== null) {
+            val isValued = signal.type != ValueType.PURE || signal.idType !== null
+            if (signal.type !== null || signal.idType !== null) {
                 scope.declarations.add(decl)
-                if (signal.type == ValueType.PURE) {
+                if (!isValued) {
                     signalsMap.put(signal, new NewSignals(s))
                 }
                 else {