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