code: @Check
  	public void checkFinalFieldInitialization(SarlAgent agent) {
  		final JvmGenericType inferredType = this.associations.getInferredType(agent);
  		if (inferredType != null) {
  			checkFinalFieldInitialization(inferredType);
  		}
  	}
docs: Check if all the fields are initialized in a SARL agent.
  
  @param agent the agent.