docs: @Check
  	public void checkSuperConstructor(SarlBehavior behavior) {
  		checkSuperConstructor(
  				behavior,
  				XTEND_TYPE_DECLARATION__NAME,
  				doGetConstructorParameterTypes(Behavior.class, behavior));
  	}