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