fixes #634 (#715)

fix #634

plugins/org.yakindu.sct.model.stext.edit/src/org/yakindu/sct/model/stext/stext/provider/VariableDefinitionItemProvider.java

@@ -113,8 +113,10 @@ public class VariableDefinitionItemProvider extends PropertyItemProvider {
 	public String getText(Object object) {
 		VariableDefinition variable = (VariableDefinition) object;
 		StringBuilder builder = new StringBuilder(variable.getName());
-		builder.append(" : ");
-		builder.append(variable.getType().getName());
+		if (variable.getType() != null) {
+			builder.append(" : ");
+			builder.append(variable.getType().getName());
+		}
 		return builder.toString();
 	}
 

plugins/org.yakindu.sct.model.stext/src/org/yakindu/sct/model/stext/inferrer/STextTypeInferrer.java

@@ -65,7 +65,7 @@ public class STextTypeInferrer extends ExpressionsTypeInferrer {
 
 	public Object infer(TimeEventSpec e) {
 		Type type = inferTypeDispatch(e.getValue());
-		assertCompatible(type, getType(INTEGER), TIME_SPEC);
+		assertSame(type, getType(INTEGER), TIME_SPEC);
 		return inferTypeDispatch(type);
 	}