code: @Check
  	public void checkSuperConstructor(SarlEvent event) {
  		checkSuperConstructor(
  				event,
  				XTEND_TYPE_DECLARATION__NAME,
  				doGetConstructorParameterTypes(Event.class, event));
  	}
docs: Check if the super default constructor is correctly invoked.
  
  @param event the SARL element.