@Check public void checkExpression(TimeEventSpec expression) { typeInferrer.inferType(expression, this); }
@Check public void checkExpression(Guard expression) { typeInferrer.inferType(expression, this); }
@Check public void checkExpression(VariableDefinition expression) { if (expression.getType() == null || expression.getType().eIsProxy()) return; typeInferrer.inferType(expression, this); }