docs: @Check(CheckType.FAST)
  	public void checkSuperType(SarlEvent event) {
  		checkSuperTypes(
  				event,
  				SARL_EVENT__EXTENDS,
  				Utils.singletonList(event.getExtends()),
  				Event.class,
  				false);
  	}