docs: @Check(CheckType.FAST)
  	public void checkSuperType(SarlAgent agent) {
  		checkSuperTypes(
  				agent,
  				SARL_AGENT__EXTENDS,
  				Utils.singletonList(agent.getExtends()),
  				Agent.class,
  				false);
  	}