From b3d0580439b9a00c7eb918085de1694151066004 Mon Sep 17 00:00:00 2001
From: Kenmegne <stephanie.kenmegne@gmail.com>
Date: Thu, 18 Jun 2026 16:02:49 +0000
Subject: [PATCH] rename packages

---
 fdx_convert/src/main/resources/predicatelogic-engine.xml | 1701 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 files changed, 1,701 insertions(+), 0 deletions(-)

diff --git a/fdx_convert/src/main/resources/predicatelogic-engine.xml b/fdx_convert/src/main/resources/predicatelogic-engine.xml
new file mode 100644
index 0000000..6b516de
--- /dev/null
+++ b/fdx_convert/src/main/resources/predicatelogic-engine.xml
@@ -0,0 +1,1701 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<predicate-engine xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+                  xsi:schemaLocation="http://www.leadware.net/predicatelogic-engine ../xsd/predicatelogic-engine.xsd"
+                  xmlns="http://www.leadware.net/predicatelogic-engine">
+
+    <!-- Définition des connecteurs -->
+    <connectors>
+
+        <connector name="not">
+            <invoke method="not"
+                    class-name="com.megatim.typefichier.validator.predicat.ConnectorImpl" />
+            <param name="notParam" type="Boolean" />
+        </connector>
+
+        <connector name="or">
+            <invoke method="or"
+                    class-name="com.megatim.typefichier.validator.predicat.ConnectorImpl" />
+            <param name="orParam1" type="Boolean" />
+            <param name="orParam2" type="Boolean" />
+        </connector>
+
+        <connector name="and">
+            <invoke method="and"
+                    class-name="com.megatim.typefichier.validator.predicat.ConnectorImpl" />
+            <param name="andParam1" type="Boolean" />
+            <param name="andParam2" type="Boolean" />
+        </connector>
+
+        <connector name="implies">
+            <invoke method="implies"
+                    class-name="com.megatim.typefichier.validator.predicat.ConnectorImpl" />
+            <param name="impliesAssumption" type="Boolean" />
+            <param name="impliesConclusion" type="Boolean" />
+        </connector>
+
+    </connectors>
+
+    <!-- Définition des prédicats -->
+    <predicates>
+        <predicate name="inValues">
+            <invoke  method="inValues" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="values" type="String"/>
+            <param name="fieldToCheck" type="String" />
+        </predicate>
+             
+        <predicate name="ifTypeFichier">
+            <invoke  method="ifTypeFichier" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="index" type="int"/>
+            <param name="taille" type="int"/>
+            <param name="typeDonnee" type="String"/>
+            <param name="ligne" type="String"/>
+            <param name="formatDate" type="String"/>
+            <param name="separateurDate" type="String"/>
+            <param name="taillePartieDecimale" type="String"/>
+            <param name="separateurDecimal" type="String"/>
+        </predicate>
+        
+        <predicate name="ifTypeFichierExcel">
+            <invoke  method="ifTypeFichierExcel" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="position" type="int"/>
+            <param name="taille" type="int"/>
+            <param name="nbreColonnes" type="int"/>
+            <param name="typeDonnee" type="String"/>
+            <param name="ligne" type="java.util.Map"/>
+            <param name="formatDate" type="String"/>
+            <param name="separateurDate" type="String"/>
+            <param name="separateurDecimal" type="String"/>
+            <param name="taillePartieDecimale" type="int"/>
+        </predicate>
+        
+        <predicate name="ifTypeFichierFileName">
+            <invoke  method="ifTypeFichierFileName" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="prefixe" type="String"/>
+            <param name="type_suffixe" type="String"/>
+            <param name="formatDate" type="String"/>
+            <param name="fileName" type="String"/>
+        </predicate>
+        
+        <predicate name="ifVersion">
+            <invoke  method="ifVersion" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="version" type="String"/>
+            <param name="nbPosition" type="int"/>
+            <param name="typeCharactere" type="String"/>
+        </predicate>
+        
+        <predicate name="ifCodeRemise">
+            <invoke  method="ifCodeRemise" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="codeRemise" type="String"/>
+            <param name="nbPosition" type="int"/>
+            <param name="typeCharactere" type="String"/>
+        </predicate>
+        
+        <predicate name="ifNumber">
+            <invoke  method="ifNumber" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="nbFiles" type="String"/>
+        </predicate>
+        
+        <predicate name="ifDate">
+            <invoke  method="ifDate" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="date" type="String"/>
+            <param name="format" type="String"/>
+            <param-value name="index" type="int" />
+            <param-value name="fileName" type="String" />
+        </predicate>
+        
+        <predicate name="ifCodeAgentOrCodeParticipant">
+            <invoke  method="ifCodeAgentOrCodeParticipant" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="code" type="String"/>
+            <param name="fileName" type="String"/>
+            <param-value name="index" type="int" />
+            <param-value name="taille" type="int" />
+        </predicate>
+        
+        <predicate name="ifTierce">
+            <invoke  method="ifTierce" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param name="fileName" type="String"/>
+            <param-value name="index" type="int" />
+            <param-value name="minValue" type="int" />
+            <param-value name="maxValue" type="int" />
+        </predicate>
+        
+        <predicate name="ifDecimal">
+            <invoke  method="ifDecimal" class-name="com.megatim.typefichier.validator.predicat.PredicateImpl"/>
+            <param-value name="index" type="int" />
+            <param-value name="taille" type="int" />
+            <param-value name="typeDonnee" type="String" />
+            <param name="ligne" type="String"/>
+            <param-value name="decimalPartMaxLength" type="int" />
+            <param-value name="separator" type="char"/>
+        </predicate>
+        
+        <predicate name="equal">
+            <invoke method="equal" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="equalParam" type="Object" />
+            <param name="equalValue" type="Object" />
+        </predicate>
+         
+        <predicate name="empty">
+            <invoke method="empty"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="emptyParam" type="Object" />
+            
+        </predicate>
+        <predicate name="equal">
+            <invoke method="equal"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="equalParam" type="Object" />
+            <param name="equalValue" type="Object" />
+        </predicate>
+
+        <predicate name="empty">
+            <invoke method="empty"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="emptyParam" type="Object" />
+        </predicate>
+
+        <predicate name="notEmptyValues">
+            <invoke method="notEmptyValues"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="notEmptyValuesParam" type="Collection" />
+        </predicate>
+
+        <predicate name="emptyValues">
+            <invoke method="emptyValues"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="emptyValuesParam" type="Collection" />
+        </predicate>
+
+        <predicate name="propertyReferenceEntry">
+            <invoke method="propertyReferenceEntry"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="entityName" type="String" />
+            <param name="propertyName" type="String" />
+            <param name="propertyValue" type="Object" />
+        </predicate>
+
+        <predicate name="propertiesReferenceEntry">
+            <invoke method="propertiesReferenceEntry"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="entityName" type="String" />
+            <param name="properties" type="Map" />
+        </predicate>
+
+        <predicate name="dateFormat">
+            <invoke method="dateFormat"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="dateValue" type="String" />
+            <param name="dateFormat" type="String" />
+        </predicate>
+
+        <predicate name="csvEntry">
+            <invoke method="csvEntry"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="entryValue" type="String" />
+            <param name="csvValues" type="String" />
+        </predicate>
+
+        <predicate name="singleton">
+            <invoke method="singleton"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+        </predicate>
+
+        <predicate name="singletonValue">
+            <invoke method="singletonValue"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="singletonValue" type="Object" />
+        </predicate>
+
+        <predicate name="singleOccurenceValue">
+            <invoke method="singleOccurenceValue"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="occurenceValue" type="Object" />
+        </predicate>
+
+        <predicate name="singleOccurenceValueByGroup">
+            <invoke method="singleOccurenceValueByGroup"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="csvGroupPropertiesNames" type="String" />
+            <param name="occurenceEntity" type="Object" />
+            <param name="occurenceValue" type="Object" />
+        </predicate>
+
+        <predicate name="sum">
+            <invoke method="sum"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="sumValue" type="java.math.BigDecimal" />
+        </predicate>
+
+        <predicate name="size">
+            <invoke method="size"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="sizeValue" type="java.math.BigDecimal" />
+        </predicate>
+
+        <predicate name="greater">
+            <invoke method="greater"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="greaterValue" type="Object" />
+            <param name="greaterLimit" type="Object" />
+        </predicate>
+
+        <predicate name="lower">
+            <invoke method="lower"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="lowerValue" type="Object" />
+            <param name="lowerLimit" type="Object" />
+        </predicate>
+
+        <predicate name="ribChecker">
+            <invoke method="ribChecker"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="ribValue" type="String" />
+        </predicate>
+
+        <predicate name="systacCountryExist">
+            <invoke  method="systacCountryExist" 
+                     class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="countryCode" type="String"/>
+        </predicate>
+
+        <predicate name="posteComptableExist">
+            <invoke  method="posteComptableExist" 
+                     class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codePosteComptable" type="String"/>
+        </predicate>
+                
+        <predicate name="systacBankExist">
+            <invoke  method="systacBankExist" 
+                     class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="bankCode" type="String"/>
+        </predicate>
+
+        <predicate name="systacAgencyExist">
+            <invoke  method="systacAgencyExist" 
+                     class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="agencyCode" type="String"/>
+        </predicate>
+                
+        <predicate name="systacAgencyBankExist">
+            <invoke  method="systacAgencyBankExist" 
+                     class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="bankCode" type="String"/>
+            <param name="agencyCode" type="String"/>
+        </predicate>		
+		
+        <predicate name="sygmaParticipantCodeBicExist">
+            <invoke  method="sygmaParticipantCodeBicExist" 
+                     class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codeBicParticipant" type="String"/>
+        </predicate>
+
+        <predicate name="sygmaParticipantCodeBicWithPropertiesExist">
+            <invoke  method="sygmaParticipantCodeBicWithPropertiesExist" 
+                     class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codeBicParticipant" type="String"/>
+            <param name="properties" type="Map"/>
+        </predicate>
+
+        <predicate name="sygmaParticipantNumeroCompteExist">
+            <invoke  method="sygmaParticipantNumeroCompteExist" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="numeroCompteParticipant" type="String"/>
+        </predicate>
+
+        <predicate name="sygmaParticipantNumeroCompteWithPropertiesExist">
+            <invoke  method="sygmaParticipantNumeroCompteWithPropertiesExist" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="numeroCompteParticipant" type="String"/>
+            <param name="properties" type="Map"/>
+        </predicate>
+
+        <predicate name="ifReplayQueueInDataExist">
+            <invoke  method="ifReplayQueueInDataExist" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="numeroReference" type="String"/>
+            <param name="numeroBordereauVirement" type="String"/>
+            <param name="codeEnregistrement"   type="String"/>
+            <param name="codeValeur"  type="String"/>
+        </predicate>
+				 
+        <predicate name="ifMt103001Message">
+            <invoke  method="ifMt103001Message" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codeTypeMessage" type="String"/>
+            <param name="codeTypeTransaction" type="String"/>
+        </predicate>
+                 
+        <predicate name="ifAdmin">
+            <invoke  method="ifAdmin" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="loginValue" type="String"/>
+            <param name="passwordValue" type="String"/>
+        </predicate>
+                 
+        <predicate name="ifReplayQueueInDataExistSystac">
+            <invoke  method="ifReplayQueueInDataExistSystac" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="numeroOperation" type="String"/>
+            <param name="datePresentation" type="String"/>
+            <param name="codeValeur"  type="String"/>
+            <param name="codeEnregistrement"   type="String"/>                       
+        </predicate>
+                 
+        <predicate name="ifReplayQueueInDataExistSygma">
+            <invoke  method="ifReplayQueueInDataExistSygma" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codeReference" type="String"/>
+            <param name="datePresentation" type="String"/>                                              
+        </predicate>    
+                 
+        <predicate name="ifBankIsNotInBlackList">
+            <invoke  method="ifBankIsNotInBlackList" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codeBanqueDestinataire" type="String"/>
+        </predicate>
+                 
+        <predicate name="ifParticipantIsNotInBlackList">
+            <invoke  method="ifParticipantIsNotInBlackList" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codeBicDestinataireSygma" type="String"/>
+        </predicate>      
+                 
+        <predicate name="checkReconciliationItemExistence">
+            <invoke  method="checkReconciliationItemExistence" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="numeroReference" type="String"/>
+            <param name="montant" type="String"/>
+            <param name="datePresentation"   type="String"/>                        
+        </predicate>  
+                
+        <predicate name="queueInAnnulationCalendarValidation">
+            <invoke method="queueInAnnulationCalendarValidation"
+                    class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl" />
+            <param name="entityName" type="String" />
+            <param name="properties" type="Map" />
+        </predicate>
+        <predicate name="uniqueCodeSystem">
+            <invoke  method="uniqueCodeSystem" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="codeSystem" type="String"/>
+        </predicate>
+        <predicate name="justOneOperation">
+            <invoke  method="justOneOperation" class-name="com.mgt.moteur.predicat.validation.impl.PredicateImpl"/>
+            <param name="numeroBonVirement" type="String"/>
+        </predicate>
+    </predicates>
+
+    <!-- Définition des assertions : ce sont des compositions de connecteurs, 
+    predicats et d'autres assertions -->
+    <asserts>
+        <assert name="inValues">
+            <param name="values" type="String"/>
+            <param-value name="fieldToCheck" type="String" />
+            <formula predicate-ref="inValues">
+                <param name="values" assert-param-ref="values" />
+                <param name="fieldToCheck" assert-param-ref="fieldToCheck" />
+            </formula>
+        </assert>
+            
+        <assert name="ifTypeFichier">
+            <param name="index" type="int"/>
+            <param name="taille" type="int"/>
+            <param name="typeDonnee" type="String"/>
+            <param name="ligne" type="String"/>
+            <param name="formatDate" type="String"/>
+            <param name="separateurDate" type="String"/>
+            <param-value name="taillePartieDecimale" type="int" />
+            <param-value name="separateurDecimal" type="String"/>
+            <formula predicate-ref="ifTypeFichier">
+                <param name="index" assert-param-ref="index" />
+                <param name="taille" assert-param-ref="taille" />
+                <param name="typeDonnee" assert-param-ref="typeDonnee" />
+                <param name="ligne" assert-param-ref="ligne" />
+                <param name="formatDate" assert-param-ref="formatDate" />
+                <param name="separateurDate" assert-param-ref="separateurDate" />
+                <param name="taillePartieDecimale" assert-param-ref="taillePartieDecimale" />
+                <param name="separateurDecimal" assert-param-ref="separateurDecimal" />
+                    
+            </formula>
+        </assert>
+        <assert name="ifTypeFichierExcel">
+            <param name="position" type="int"/>
+            <param name="taille" type="int"/>
+            <param name="nbreColonnes" type="int"/>
+            <param name="typeDonnee" type="String"/>
+            <param name="ligne" type="java.util.Map"/>
+            <param name="formatDate" type="String"/>
+            <param name="separateurDate" type="String"/>
+            <param name="separateurDecimal" type="char"/>
+            <param name="taillePartieDecimale" type="int"/>
+            <formula predicate-ref="ifTypeFichierExcel">
+                <param name="position" assert-param-ref="position" />
+                <param name="taille" assert-param-ref="taille" />
+                <param name="nbreColonnes" assert-param-ref="nbreColonnes" />
+                <param name="typeDonnee" assert-param-ref="typeDonnee" />
+                <param name="ligne" assert-param-ref="ligne" />
+                <param name="formatDate" assert-param-ref="formatDate" />
+                <param name="separateurDate" assert-param-ref="separateurDate" />
+                <param name="separateurDecimal" assert-param-ref="separateurDecimal" />
+                <param name="taillePartieDecimale" assert-param-ref="taillePartieDecimale" />
+                    
+            </formula>
+        </assert>
+            
+        <assert name="ifTypeFichierFileName">
+            <param name="prefixe" type="String"/>
+            <param name="type_suffixe" type="String"/>
+            <param name="formatDate" type="String"/>
+            <param name="fileName" type="String"/>
+            <formula predicate-ref="ifTypeFichierFileName">
+                <param name="prefixe" assert-param-ref="prefixe" />
+                <param name="type_suffixe" assert-param-ref="type_suffixe" />
+                <param name="formatDate" assert-param-ref="formatDate" />
+                <param name="fileName" assert-param-ref="fileName" />
+            </formula>
+        </assert>
+            
+        <assert name="ifVersion">
+            <param name="version" type="String"/>
+            <param name="nbPosition" type="int"/>
+            <param name="typeCharactere" type="String"/>
+            <formula predicate-ref="ifVersion">
+                <param name="version" assert-param-ref="version" />
+                <param name="nbPosition" assert-param-ref="nbPosition" />
+                <param name="typeCharactere" assert-param-ref="typeCharactere" />
+            </formula>
+        </assert>
+                
+        <assert name="ifCodeRemise">
+            <param name="codeRemise" type="String"/>
+            <param name="nbPosition" type="int"/>
+            <param name="typeCharactere" type="String"/>
+            <formula predicate-ref="ifCodeRemise">
+                <param name="codeRemise" assert-param-ref="codeRemise" />
+                <param name="nbPosition" assert-param-ref="nbPosition" />
+                <param name="typeCharactere" assert-param-ref="typeCharactere" />
+            </formula>
+        </assert>
+                
+        <assert name="ifNumber">
+            <param name="nbFiles" type="String"/>
+            <formula predicate-ref="ifNumber">
+                <param name="nbFiles" assert-param-ref="nbFiles" />
+            </formula>
+        </assert>
+                
+                
+        <assert name="ifDate">
+            <param name="date" type="String"/>
+            <param name="format" type="String"/>
+            <param name="fileName" type="String"/>
+            <param-value name="index" type="int" />
+            <formula predicate-ref="ifDate">
+                <param name="date" assert-param-ref="date" />
+                <param name="format" assert-param-ref="format" />
+                <param name="index" assert-param-ref="index" />
+                <param name="fileName" assert-param-ref="fileName" />
+            </formula>
+        </assert>
+                
+        <assert name="ifCodeAgentOrCodeParticipant">
+            <param name="code" type="String"/>
+            <param name="fileName" type="String"/>
+            <param-value name="index" type="int" />
+            <param-value name="taille" type="int" />
+            <formula predicate-ref="ifCodeAgentOrCodeParticipant">
+                <param name="code" assert-param-ref="code" />
+                <param name="fileName" assert-param-ref="fileName" />
+                <param name="taille" assert-param-ref="taille" />
+                <param name="index" assert-param-ref="index" />
+            </formula>
+        </assert>
+
+         
+        <assert name="ifTierce">
+            <param name="fileName" type="String"/>
+            <param-value name="index" type="int" />
+            <param-value name="minValue" type="int" />
+            <param-value name="maxValue" type="int" />
+            <formula predicate-ref="ifTierce">
+                <param name="fileName" assert-param-ref="fileName" />
+                <param name="minValue" assert-param-ref="minValue" />
+                <param name="maxValue" assert-param-ref="maxValue" />
+                <param name="index" assert-param-ref="index" />
+            </formula>
+        </assert>
+              
+        <assert name="ifDecimal">
+            <param-value name="index" type="int" />
+            <param-value name="taille" type="int" />
+            <param-value name="typeDonnee" value="String" />
+            <param name="ligne" type="String"/>
+            <param-value name="decimalPartMaxLength" type="int" />
+            <param-value name="separator" type="char" />
+            <formula predicate-ref="ifDecimal">
+                <param name="index" assert-param-ref="index" />
+                <param name="taille" assert-param-ref="taille" />
+                <param name="typeDonnee" assert-param-ref="typeDonnee" />
+                <param name="ligne" assert-param-ref="ligne"/>
+                <param name="decimalPartMaxLength" assert-param-ref="decimalPartMaxLength" />
+                <param name="separator" assert-param-ref="separator" />
+            </formula>
+        </assert>
+              
+        <assert name="equal">
+            <param name="equalValue" type="Object" />
+            <param name="equalParam" type="Object" />
+            <formula predicate-ref="equal">
+                <param name="equalValue" assert-param-ref="equalValue" />
+                <param name="equalParam" assert-param-ref="equalParam" />
+            </formula>
+        </assert>
+
+        <assert name="empty">
+            <param name="emptyParam" type="Object" />
+            <formula predicate-ref="empty">
+                <param name="emptyParam" assert-param-ref="emptyParam" />
+            </formula>
+        </assert>
+
+        <!-- Est vrai si toutes les valeurs sont non vides -->
+        <assert name="notEmptyValues">
+            <param name="notEmptyValuesParam" type="Object" />
+            <formula predicate-ref="notEmptyValues">
+                <param name="notEmptyValuesParam" assert-param-ref="notEmptyValuesParam" />
+            </formula>
+        </assert>
+
+        <!-- Est vrai si toutes les valeurs sont vides -->
+        <assert name="emptyValues">
+            <param name="emptyValuesParam" type="Object" />
+            <formula predicate-ref="emptyValues">
+                <param name="emptyValuesParam" assert-param-ref="emptyValuesParam" />
+            </formula>
+        </assert>
+
+        <assert name="propertyReferenceEntry">
+            <param name="entityName" type="String" />
+            <param name="propertyName" type="String" />
+            <param name="propertyValue" type="Object" />
+            <formula predicate-ref="propertyReferenceEntry">
+                <param name="entityName" assert-param-ref="entityName" />
+                <param name="propertyName" assert-param-ref="propertyName" />
+                <param name="propertyValue" assert-param-ref="propertyValue" />
+            </formula>
+        </assert>
+
+        <assert name="propertiesReferenceEntry">
+            <param name="entityName" type="String" />
+            <param name="properties" type="Map" />
+            <formula predicate-ref="propertiesReferenceEntry">
+                <param name="entityName" assert-param-ref="entityName" />
+                <param name="properties" assert-param-ref="properties" />
+            </formula>
+        </assert>
+
+        <assert name="dateFormat">
+            <param name="dateValue" type="String" />
+            <param name="dateFormat" type="String" />
+            <formula predicate-ref="dateFormat">
+                <param name="dateValue" assert-param-ref="dateValue" />
+                <param name="dateFormat" assert-param-ref="dateFormat" />
+            </formula>
+        </assert>
+
+        <assert name="csvEntry">
+            <param name="entryValue" type="String" />
+            <param name="csvValues" type="String" />
+            <formula predicate-ref="csvEntry">
+                <param name="entryValue" assert-param-ref="entryValue" />
+                <param name="csvValues" assert-param-ref="csvValues" />
+            </formula>
+        </assert>
+
+        <assert name="singleton">
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <formula predicate-ref="singleton">
+                <param name="collectionEntries" assert-param-ref="collectionEntries" />
+                <param name="entryTypeName" assert-param-ref="entryTypeName" />
+                <param name="entryPropertyName" assert-param-ref="entryPropertyName" />
+            </formula>
+        </assert>
+
+        <assert name="singletonValue">
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="singletonValue" type="Object" />
+            <formula predicate-ref="singletonValue">
+                <param name="collectionEntries" assert-param-ref="collectionEntries" />
+                <param name="entryTypeName" assert-param-ref="entryTypeName" />
+                <param name="entryPropertyName" assert-param-ref="entryPropertyName" />
+                <param name="singletonValue" assert-param-ref="singletonValue" />
+            </formula>
+        </assert>
+
+        <assert name="singleOccurenceValue">
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="occurenceValue" type="Object" />
+            <formula predicate-ref="singleOccurenceValue">
+                <param name="collectionEntries" assert-param-ref="collectionEntries" />
+                <param name="entryTypeName" assert-param-ref="entryTypeName" />
+                <param name="entryPropertyName" assert-param-ref="entryPropertyName" />
+                <param name="occurenceValue" assert-param-ref="occurenceValue" />
+            </formula>
+        </assert>
+
+        <assert name="singleOccurenceValueByGroup">
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="csvGroupPropertiesNames" type="String" />
+            <param name="occurenceEntity" type="Object" />
+            <param name="occurenceValue" type="Object" />
+            <formula predicate-ref="singleOccurenceValueByGroup">
+                <param name="collectionEntries" assert-param-ref="collectionEntries" />
+                <param name="entryTypeName" assert-param-ref="entryTypeName" />
+                <param name="entryPropertyName" assert-param-ref="entryPropertyName" />
+                <param name="csvGroupPropertiesNames" assert-param-ref="csvGroupPropertiesNames" />
+                <param name="occurenceEntity" assert-param-ref="occurenceEntity" />
+                <param name="occurenceValue" assert-param-ref="occurenceValue" />
+            </formula>
+        </assert>
+
+        <assert name="sum">
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="entryPropertyName" type="String" />
+            <param name="sumValue" type="java.math.BigDecimal" />
+            <formula predicate-ref="sum">
+                <param name="collectionEntries" assert-param-ref="collectionEntries" />
+                <param name="entryTypeName" assert-param-ref="entryTypeName" />
+                <param name="entryPropertyName" assert-param-ref="entryPropertyName" />
+                <param name="sumValue" assert-param-ref="sumValue" />
+            </formula>
+        </assert>
+
+        <assert name="size">
+            <param name="collectionEntries" type="java.util.Collection" />
+            <param name="entryTypeName" type="String" />
+            <param name="sizeValue" type="java.math.BigDecimal" />
+            <formula predicate-ref="size">
+                <param name="collectionEntries" assert-param-ref="collectionEntries" />
+                <param name="entryTypeName" assert-param-ref="entryTypeName" />
+                <param name="sizeValue" assert-param-ref="sizeValue" />
+            </formula>
+        </assert>
+
+        <assert name="greater">
+            <param name="greaterValue" type="Object" />
+            <param name="greaterLimit" type="Object" />
+            <formula predicate-ref="greater">
+                <param name="greaterValue" assert-param-ref="greaterValue" />
+                <param name="greaterLimit" assert-param-ref="greaterLimit" />
+            </formula>
+        </assert>
+
+        <assert name="lower">
+            <param name="lowerValue" type="Object" />
+            <param name="lowerLimit" type="Object" />
+            <formula predicate-ref="lower">
+                <param name="lowerValue" assert-param-ref="lowerValue" />
+                <param name="lowerLimit" assert-param-ref="lowerLimit" />
+            </formula>
+        </assert>
+
+        <assert name="ribChecker">
+            <param name="ribValue" type="String" />
+            <formula predicate-ref="ribChecker">
+                <param name="ribValue" assert-param-ref="ribValue" />
+            </formula>
+        </assert>
+
+        <assert name="systacCountryExist">
+            <param name="countryCode" type="String" />
+            <formula predicate-ref="systacCountryExist">
+                <param name="countryCode" assert-param-ref="countryCode" />
+            </formula>
+        </assert>
+                
+        <assert name="uniqueCodeSystem">
+            <param name="codeSystem" type="String" />
+            <formula predicate-ref="uniqueCodeSystem">
+                <param name="codeSystem" assert-param-ref="codeSystem" />
+            </formula>
+        </assert>
+                
+        <assert name="justOneOperation">
+            <param name="numeroBonVirement" type="String" />
+            <formula predicate-ref="justOneOperation">
+                <param name="numeroBonVirement" assert-param-ref="numeroBonVirement" />
+            </formula>
+        </assert>
+
+        <assert name="posteComptableExist">
+            <param name="codePosteComptable" type="String" />
+            <formula predicate-ref="posteComptableExist">
+                <param name="codePosteComptable" assert-param-ref="codePosteComptable" />
+            </formula>
+        </assert>
+                
+        <assert name="systacBankExist">
+            <param name="bankCode" type="String" />
+            <formula predicate-ref="systacBankExist">
+                <param name="bankCode" assert-param-ref="bankCode" />
+            </formula>
+        </assert>
+
+        <assert name="systacAgencyExist">
+            <param name="agencyCode" type="String" />
+            <formula predicate-ref="systacAgencyExist">
+                <param name="agencyCode" assert-param-ref="agencyCode" />
+            </formula>
+        </assert>
+		
+        <assert name="systacAgencyBankExist">
+            <param name="bankCode" type="String" />
+            <param name="agencyCode" type="String" />
+            <formula predicate-ref="systacAgencyBankExist">
+                <param name="bankCode" assert-param-ref="bankCode" />
+                <param name="agencyCode" assert-param-ref="agencyCode" />
+            </formula>
+        </assert>	
+
+        <assert name="sygmaParticipantCodeBicExist">
+            <param name="codeBicParticipant" type="String" />
+            <formula predicate-ref="sygmaParticipantCodeBicExist">
+                <param name="codeBicParticipant" assert-param-ref="codeBicParticipant" />
+            </formula>
+        </assert>
+
+        <assert name="sygmaParticipantCodeBicWithPropertiesExist">
+            <param name="codeBicParticipant" type="String" />
+            <param name="properties" type="Map" />
+            <formula predicate-ref="sygmaParticipantCodeBicWithPropertiesExist">
+                <param name="codeBicParticipant" assert-param-ref="codeBicParticipant" />
+                <param name="properties" assert-param-ref="properties" />
+            </formula>
+        </assert>
+
+        <assert name="sygmaParticipantNumeroCompteExist">
+            <param name="numeroCompteParticipant" type="String" />
+            <formula predicate-ref="sygmaParticipantNumeroCompteExist">
+                <param name="numeroCompteParticipant" assert-param-ref="numeroCompteParticipant" />
+            </formula>
+        </assert>
+
+        <assert name="sygmaParticipantNumeroCompteWithPropertiesExist">
+            <param name="numeroCompteParticipant" type="String" />
+            <param name="properties" type="Map" />
+            <formula predicate-ref="sygmaParticipantNumeroCompteWithPropertiesExist">
+                <param name="numeroCompteParticipant" assert-param-ref="numeroCompteParticipant" />
+                <param name="properties" assert-param-ref="properties" />
+            </formula>
+        </assert> 
+        
+        <assert name="ifMt103001Message">
+            <param name="codeTypeMessage" type="String" />
+            <param name="codeTypeTransaction" type="String" />
+            <formula predicate-ref="ifMt103001Message">
+                <param name="codeTypeMessage" assert-param-ref="codeTypeMessage" />
+                <param name="codeTypeTransaction" assert-param-ref="codeTypeTransaction" />
+            </formula>
+        </assert>
+                
+        <assert name="ifAdmin">
+            <param name="loginValue" type="String" />
+            <param name="passwordValue" type="String" />
+            <formula predicate-ref="ifAdmin">
+                <param name="loginValue" assert-param-ref="loginValue" />
+                <param name="passwordValue" assert-param-ref="passwordValue" />
+            </formula>
+        </assert>
+		
+        <assert name="ifReplayQueueInDataExist">
+            <param name="numeroReference" type="String" />
+            <param name="numeroBordereauVirement" type="String" />
+            <param name="codeEnregistrement"  type="String" />
+            <param name="codeValeur"  type="String" />
+            <formula predicate-ref="ifReplayQueueInDataExist">
+                <param name="numeroReference" assert-param-ref="numeroReference" />
+                <param name="numeroBordereauVirement" assert-param-ref="numeroBordereauVirement" />
+                <param name="codeEnregistrement"    assert-param-ref="codeEnregistrement" />
+                <param name="codeValeur"  assert-param-ref="codeValeur" />
+            </formula>
+        </assert>
+                
+        <assert name="ifReplayQueueInDataExistSystac">
+            <param name="numeroOperation" type="String" />
+            <param name="datePresentation" type="String" />     
+            <param name="codeValeur"  type="String" />  
+            <param name="codeEnregistrement"  type="String" />                                 
+            <formula predicate-ref="ifReplayQueueInDataExistSystac">
+                <param name="numeroOperation" assert-param-ref="numeroOperation" />
+                <param name="datePresentation" assert-param-ref="datePresentation" />
+                <param name="codeValeur"  assert-param-ref="codeValeur" />
+                <param name="codeEnregistrement"    assert-param-ref="codeEnregistrement" />                            
+            </formula>
+        </assert>
+                
+        <assert name="ifReplayQueueInDataExistSygma">
+            <param name="codeReference" type="String" />
+            <param name="datePresentation" type="String" />                                      
+            <formula predicate-ref="ifReplayQueueInDataExistSygma">
+                <param name="codeReference" assert-param-ref="codeReference" />
+                <param name="datePresentation" assert-param-ref="datePresentation" />                            
+            </formula>
+        </assert>
+                
+        <assert name="ifBankIsNotInBlackList">
+            <param name="codeBanqueDestinataire" type="String" />                  
+            <formula predicate-ref="ifBankIsNotInBlackList">
+                <param name="codeBanqueDestinataire" assert-param-ref="codeBanqueDestinataire" />                           
+            </formula>
+        </assert>
+                
+        <assert name="ifParticipantIsNotInBlackList">
+            <param name="codeBicDestinataireSygma" type="String" />                  
+            <formula predicate-ref="ifParticipantIsNotInBlackList">
+                <param name="codeBicDestinataireSygma" assert-param-ref="codeBicDestinataireSygma" />                           
+            </formula>
+        </assert>        
+                
+        <assert name="checkReconciliationItemExistence">
+            <param name="numeroReference" type="String" />
+            <param name="montant" type="String" />
+            <param name="datePresentation"  type="String" />
+            <formula predicate-ref="checkReconciliationItemExistence">
+                <param name="numeroReference" assert-param-ref="numeroReference" />
+                <param name="montant" assert-param-ref="montant" />
+                <param name="datePresentation"    assert-param-ref="datePresentation" />
+            </formula>
+        </assert>    
+                
+        <assert name="queueInAnnulationCalendarValidation">
+            <param name="entityName" type="String" />
+            <param name="properties" type="Map" />
+            <formula predicate-ref="queueInAnnulationCalendarValidation">
+                <param name="entityName" assert-param-ref="entityName" />
+                <param name="properties" assert-param-ref="properties" />
+            </formula>
+        </assert>
+
+        <assert name="notEqual">
+            <param name="notEqualParam" type="Object" />
+            <param name="notEqualValue" type="Object" />
+            <formula connector-ref="not">
+                <param name="notParam" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="notEqualParam" />
+                    <param name="equalValue" assert-param-ref="notEqualValue" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="notPropertyReferenceEntry">
+            <param name="entityName" type="String" />
+            <param name="propertyName" type="String" />
+            <param name="propertyValue" type="Object" />
+            <formula connector-ref="not">
+                <param name="notParam" predicate-ref="propertyReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityName" />
+                    <param name="propertyName" assert-param-ref="propertyName" />
+                    <param name="propertyValue" assert-param-ref="propertyValue" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="notPropertiesReferenceEntry">
+            <param name="entityName" type="String" />
+            <param name="properties" type="Map" />
+            <formula connector-ref="not">
+                <param name="notParam" predicate-ref="propertiesReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityName" />
+                    <param name="properties" assert-param-ref="properties" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="notEmpty">
+            <param name="notEmptyParam" type="Object" />
+            <formula connector-ref="not">
+                <param name="notParam" predicate-ref="empty">
+                    <param name="emptyParam" assert-param-ref="notEmptyParam" />
+                </param>
+            </formula>
+        </assert>
+
+        <!-- Est vrai si aumoins l'une des valeurs de la collection est non vide -->
+        <assert name="lazyNotEmptyValues">
+            <param name="lazyNotEmptyValuesParam" type="Collection" />
+            <formula connector-ref="not">
+                <param name="notParam" predicate-ref="emptyValues">
+                    <param name="emptyValuesParam" assert-param-ref="lazyNotEmptyValuesParam" />
+                </param>
+            </formula>
+        </assert>
+
+        <!-- Est vrai si aumoins l'une des valeurs de la liste est vide -->
+        <assert name="lazyEmptyValues">
+            <param name="lazyEmptyValues" type="Collection" />
+            <formula connector-ref="not">
+                <param name="notParam" predicate-ref="notEmptyValues">
+                    <param name="notEmptyValuesParam" assert-param-ref="lazyEmptyValues" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="greaterOrEqual">
+            <param name="greaterEqualValue" type="Object" />
+            <param name="greaterEqualLimit" type="Object" />
+            <formula connector-ref="or">
+                <param name="orParam1" predicate-ref="greater">
+                    <param name="greaterValue" assert-param-ref="greaterEqualValue" />
+                    <param name="greaterLimit" assert-param-ref="greaterEqualLimit" />
+                </param>
+                <param name="orParam2" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="greaterEqualValue" />
+                    <param name="equalValue" assert-param-ref="greaterEqualLimit" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="lowerOrEqual">
+            <param name="lowerEqualValue" type="Object" />
+            <param name="lowerEqualLimit" type="Object" />
+            <formula connector-ref="or">
+                <param name="orParam1" predicate-ref="lower">
+                    <param name="lowerValue" assert-param-ref="lowerEqualValue" />
+                    <param name="lowerLimit" assert-param-ref="lowerEqualLimit" />
+                </param>
+                <param name="orParam2" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="lowerEqualValue" />
+                    <param name="equalValue" assert-param-ref="lowerEqualLimit" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="notCsvEntry">
+            <param name="notEntryValue" type="String" />
+            <param name="notCsvValues" type="String" />
+            <formula connector-ref="not">
+                <param name="notParam" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="notEntryValue" />
+                    <param name="csvValues" assert-param-ref="notCsvValues" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="equalAndNotEmpty">
+            <param name="equalParam" type="Object" />
+            <param name="equalValue" type="Object" />
+            <param name="notEmptyParam" type="Object" />
+            <formula connector-ref="and">
+                <param name="andParam1" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParam" />
+                    <param name="equalValue" assert-param-ref="equalValue" />
+                </param>
+                <param name="andParam2" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParam" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="equalAndEqual">
+            <param name="equalParam1" type="Object" />
+            <param name="equalValue1" type="Object" />
+            <param name="equalParam2" type="Object" />
+            <param name="equalValue2" type="Object" />
+            <formula connector-ref="and">
+                <param name="andParam1" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParam1" />
+                    <param name="equalValue" assert-param-ref="equalValue1" />
+                </param>
+                <param name="andParam2" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParam2" />
+                    <param name="equalValue" assert-param-ref="equalValue2" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="csvEntryAndCsvEntry">
+            <param name="entryValue1" type="Object" />
+            <param name="csvValues1" type="Object" />
+            <param name="entryValue2" type="Object" />
+            <param name="csvValues2" type="Object" />
+            <formula connector-ref="and">
+                <param name="andParam1" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValue1" />
+                    <param name="csvValues" assert-param-ref="csvValues1" />
+                </param>
+                <param name="andParam2" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValue2" />
+                    <param name="csvValues" assert-param-ref="csvValues2" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="csvEntryAndNotCsvEntry">
+            <param name="entryValue" type="Object" />
+            <param name="csvValues" type="Object" />
+            <param name="notEntryValue" type="Object" />
+            <param name="notCsvValues" type="Object" />
+            <formula connector-ref="and">
+                <param name="andParam1" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValue" />
+                    <param name="csvValues" assert-param-ref="csvValues" />
+                </param>
+                <param name="andParam2" assert-ref="notCsvEntry">
+                    <param name="notEntryValue" assert-param-ref="notEntryValue" />
+                    <param name="notCsvValues" assert-param-ref="notCsvValues" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenGreater">
+            <param name="equalParamAssumption" type="String" />
+            <param name="equalValueAssumption" type="String" />
+            <param name="greaterValueConclusion" type="String" />
+            <param name="greaterLimitConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="greater">
+                    <param name="greaterValue" assert-param-ref="greaterValueConclusion" />
+                    <param name="greaterLimit" assert-param-ref="greaterLimitConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenLower">
+            <param name="equalParamAssumption" type="String" />
+            <param name="equalValueAssumption" type="String" />
+            <param name="lowerValueConclusion" type="String" />
+            <param name="lowerLimitConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="lower">
+                    <param name="lowerValue" assert-param-ref="lowerValueConclusion" />
+                    <param name="lowerLimit" assert-param-ref="lowerLimitConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenEqual">
+            <param name="equalParam1Assumption" type="String" />
+            <param name="equalValue1Assumption" type="String" />
+            <param name="equalParam2Conclusion" type="String" />
+            <param name="equalValue2Conclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParam1Assumption" />
+                    <param name="equalValue" assert-param-ref="equalValue1Assumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParam2Conclusion" />
+                    <param name="equalValue" assert-param-ref="equalValue2Conclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenNotEqual">
+            <param name="equalParamAssumption" type="String" />
+            <param name="equalValueAssumption" type="String" />
+            <param name="notEqualParamConclusion" type="String" />
+            <param name="notEqualValueConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notEqual">
+                    <param name="notEqualParam" assert-param-ref="notEqualParamConclusion" />
+                    <param name="notEqualValue" assert-param-ref="notEqualValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenNotCsvEntry">
+            <param name="equalParamAssumption" type="String" />
+            <param name="equalValueAssumption" type="String" />
+            <param name="notEntryValueConclusion" type="String" />
+            <param name="notCsvValuesConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notCsvEntry">
+                    <param name="notEntryValue" assert-param-ref="notEntryValueConclusion" />
+                    <param name="notCsvValues" assert-param-ref="notCsvValuesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenCsvEntry">
+            <param name="equalParamAssumption" type="String" />
+            <param name="equalValueAssumption" type="String" />
+            <param name="entryValueConclusion" type="String" />
+            <param name="csvValuesConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueConclusion" />
+                    <param name="csvValues" assert-param-ref="csvValuesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenCsvEntry">
+            <param name="entryValueAssumption" type="String" />
+            <param name="csvValuesAssumption" type="String" />
+            <param name="entryValueConclusion" type="String" />
+            <param name="csvValuesConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueConclusion" />
+                    <param name="csvValues" assert-param-ref="csvValuesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenSingleton">
+            <param name="entryValueAssumption" type="String" />
+            <param name="csvValuesAssumption" type="String" />
+            <param name="collectionEntriesConclusion" type="java.util.Collection" />
+            <param name="entryTypeNameConclusion" type="String" />
+            <param name="entryPropertyNameConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="singleton">
+                    <param name="collectionEntries" assert-param-ref="collectionEntriesConclusion" />
+                    <param name="entryTypeName" assert-param-ref="entryTypeNameConclusion" />
+                    <param name="entryPropertyName" assert-param-ref="entryPropertyNameConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenSingleOccurenceValueByGroup">
+            <param name="entryValueAssumption" type="String" />
+            <param name="csvValuesAssumption" type="String" />
+            <param name="collectionEntriesConclusion" type="java.util.Collection" />
+            <param name="entryTypeNameConclusion" type="String" />
+            <param name="entryPropertyNameConclusion" type="String" />
+            <param name="csvGroupPropertiesNamesConclusion" type="String" />
+            <param name="occurenceEntityConclusion" type="Object" />
+            <param name="occurenceValueConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="singleOccurenceValueByGroup">
+                    <param name="collectionEntries" assert-param-ref="collectionEntriesConclusion" />
+                    <param name="entryTypeName" assert-param-ref="entryTypeNameConclusion" />
+                    <param name="entryPropertyName" assert-param-ref="entryPropertyNameConclusion" />
+                    <param name="csvGroupPropertiesNames" assert-param-ref="csvGroupPropertiesNamesConclusion" />
+                    <param name="occurenceEntity" assert-param-ref="occurenceEntityConclusion" />
+                    <param name="occurenceValue" assert-param-ref="occurenceValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenEqual">
+            <param name="entryValueAssumption" type="String" />
+            <param name="csvValuesAssumption" type="String" />
+            <param name="equalParamConclusion" type="String" />
+            <param name="equalValueConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamConclusion" />
+                    <param name="equalValue" assert-param-ref="equalValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenNotEqual">
+            <param name="entryValueAssumption" type="String" />
+            <param name="csvValuesAssumption" type="String" />
+            <param name="notEqualParamConclusion" type="String" />
+            <param name="notEqualValueConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notEqual">
+                    <param name="notEqualParam" assert-param-ref="notEqualParamConclusion" />
+                    <param name="notEqualValue" assert-param-ref="notEqualValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenNotCsvEntry">
+            <param name="entryValueAssumption" type="String" />
+            <param name="csvValuesAssumption" type="String" />
+            <param name="notEntryValueConclusion" type="String" />
+            <param name="notCsvValuesConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notCsvEntry">
+                    <param name="notEntryValue" assert-param-ref="notEntryValueConclusion" />
+                    <param name="notCsvValues" assert-param-ref="notCsvValuesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenPropertyReferenceEntry">
+            <param name="equalParamAssumption" type="String" />
+            <param name="equalValueAssumption" type="String" />
+            <param name="entityNameConclusion" type="String" />
+            <param name="propertyNameConclusion" type="String" />
+            <param name="propertyValueConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="propertyReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityNameConclusion" />
+                    <param name="propertyName" assert-param-ref="propertyNameConclusion" />
+                    <param name="propertyValue" assert-param-ref="propertyValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualAndNotEmptyThenRibChecker">
+            <param name="equalParamAssumption" type="Object" />
+            <param name="equalValueAssumption" type="Object" />
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="ribValueConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="equalAndNotEmpty">
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="ribChecker">
+                    <param name="ribValue" assert-param-ref="ribValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryAndCsvEntryThenNotEmpty">
+            <param name="entryValue1Assumption" type="Object" />
+            <param name="csvValues1Assumption" type="Object" />
+            <param name="entryValue2Assumption" type="Object" />
+            <param name="csvValues2Assumption" type="Object" />
+            <param name="notEmptyParamConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="csvEntryAndCsvEntry">
+                    <param name="entryValue1" assert-param-ref="entryValue1Assumption" />
+                    <param name="csvValues1" assert-param-ref="csvValues1Assumption" />
+                    <param name="entryValue2" assert-param-ref="entryValue2Assumption" />
+                    <param name="csvValues2" assert-param-ref="csvValues2Assumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenNotEmpty">
+            <param name="entryValueAssumption" type="Object" />
+            <param name="csvValuesAssumption" type="Object" />
+            <param name="notEmptyParamConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+
+        <assert name="ifCsvEntryAndCsvEntryThenEqual">
+            <param name="entryValue1Assumption" type="Object" />
+            <param name="csvValues1Assumption" type="Object" />
+            <param name="entryValue2Assumption" type="Object" />
+            <param name="csvValues2Assumption" type="Object" />
+            <param name="equalParamConclusion" type="Object" />
+            <param name="equalValueConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="csvEntryAndCsvEntry">
+                    <param name="entryValue1" assert-param-ref="entryValue1Assumption" />
+                    <param name="csvValues1" assert-param-ref="csvValues1Assumption" />
+                    <param name="entryValue2" assert-param-ref="entryValue2Assumption" />
+                    <param name="csvValues2" assert-param-ref="csvValues2Assumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="equal">
+                    <param name="equalParam" assert-param-ref="equalParamConclusion" />
+                    <param name="equalValue" assert-param-ref="equalValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryAndCsvEntryThenPropertyReferenceEntry">
+            <param name="entryValue1Assumption" type="Object" />
+            <param name="csvValues1Assumption" type="Object" />
+            <param name="entryValue2Assumption" type="Object" />
+            <param name="csvValues2Assumption" type="Object" />
+            <param name="entityNameConclusion" type="Object" />
+            <param name="propertyNameConclusion" type="Object" />
+            <param name="propertyValueConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="csvEntryAndCsvEntry">
+                    <param name="entryValue1" assert-param-ref="entryValue1Assumption" />
+                    <param name="csvValues1" assert-param-ref="csvValues1Assumption" />
+                    <param name="entryValue2" assert-param-ref="entryValue2Assumption" />
+                    <param name="csvValues2" assert-param-ref="csvValues2Assumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="propertyReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityNameConclusion" />
+                    <param name="propertyName" assert-param-ref="propertyNameConclusion" />
+                    <param name="propertyValue" assert-param-ref="propertyValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryAndCsvEntryThenSygmaParticipantCodeBicExist">
+            <param name="entryValue1Assumption" type="Object" />
+            <param name="csvValues1Assumption" type="Object" />
+            <param name="entryValue2Assumption" type="Object" />
+            <param name="csvValues2Assumption" type="Object" />
+            <param name="codeBicParticipantConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="csvEntryAndCsvEntry">
+                    <param name="entryValue1" assert-param-ref="entryValue1Assumption" />
+                    <param name="csvValues1" assert-param-ref="csvValues1Assumption" />
+                    <param name="entryValue2" assert-param-ref="entryValue2Assumption" />
+                    <param name="csvValues2" assert-param-ref="csvValues2Assumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantCodeBicExist">
+                    <param name="codeBicParticipant" assert-param-ref="codeBicParticipantConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryAndCsvEntryThenSygmaParticipantNumeroCompteExist">
+            <param name="entryValue1Assumption" type="Object" />
+            <param name="csvValues1Assumption" type="Object" />
+            <param name="entryValue2Assumption" type="Object" />
+            <param name="csvValues2Assumption" type="Object" />
+            <param name="numeroCompteParticipantConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="csvEntryAndCsvEntry">
+                    <param name="entryValue1" assert-param-ref="entryValue1Assumption" />
+                    <param name="csvValues1" assert-param-ref="csvValues1Assumption" />
+                    <param name="entryValue2" assert-param-ref="entryValue2Assumption" />
+                    <param name="csvValues2" assert-param-ref="csvValues2Assumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantNumeroCompteExist">
+                    <param name="numeroCompteParticipant" assert-param-ref="numeroCompteParticipantConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenCsvEntry">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="entryValueConclusion" type="Object" />
+            <param name="csvValuesConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueConclusion" />
+                    <param name="csvValues" assert-param-ref="csvValuesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenEqual">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="equalValueConclusion" type="Object" />
+            <param name="equalParamConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="equal">
+                    <param name="equalValue" assert-param-ref="equalValueConclusion" />
+                    <param name="equalParam" assert-param-ref="equalParamConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifEqualThenNotEmpty">
+            <param name="equalValueAssumption" type="Object" />
+            <param name="equalParamAssumption" type="Object" />
+            <param name="notEmptyParamConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="equal">
+                    <param name="equalValue" assert-param-ref="equalValueAssumption" />
+                    <param name="equalParam" assert-param-ref="equalParamAssumption" />
+                </param>				
+                <param name="impliesConclusion" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenNotEmpty">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="notEmptyParamConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotCsvEntryThenNotEmpty">
+            <param name="notEntryValueAssumption" type="Object" />
+            <param name="notCsvValuesAssumption" type="Object" />
+            <param name="notEmptyParamConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notCsvEntry">
+                    <param name="notEntryValue" assert-param-ref="notEntryValueAssumption" />
+                    <param name="notCsvValues" assert-param-ref="notCsvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+
+        <assert name="ifNotEmptyThenPropertyReferenceEntry">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="entityNameConclusion" type="Object" />
+            <param name="propertyNameConclusion" type="Object" />
+            <param name="propertyValueConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="propertyReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityNameConclusion" />
+                    <param name="propertyName" assert-param-ref="propertyNameConclusion" />
+                    <param name="propertyValue" assert-param-ref="propertyValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenSygmaParticipantCodeBicExist">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="codeBicParticipantConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantCodeBicExist">
+                    <param name="codeBicParticipant" assert-param-ref="codeBicParticipantConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenSygmaParticipantNumeroCompteExist">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="numeroCompteParticipantConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantNumeroCompteExist">
+                    <param name="numeroCompteParticipant" assert-param-ref="numeroCompteParticipantConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenSygmaParticipantCodeBicWithPropertiesExist">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="codeBicParticipantConclusion" type="Object" />
+            <param name="propertiesConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantCodeBicWithPropertiesExist">
+                    <param name="codeBicParticipant" assert-param-ref="codeBicParticipantConclusion" />
+                    <param name="properties" assert-param-ref="propertiesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenSygmaParticipantNumeroCompteWithPropertiesExist">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="numeroCompteParticipantConclusion" type="Object" />
+            <param name="propertiesConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantNumeroCompteWithPropertiesExist">
+                    <param name="numeroCompteParticipant" assert-param-ref="numeroCompteParticipantConclusion" />
+                    <param name="properties" assert-param-ref="propertiesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyThenPropertiesReferenceEntry">
+            <param name="notEmptyParamAssumption" type="Object" />
+            <param name="entityNameConclusion" type="Object" />
+            <param name="propertiesConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" assert-ref="notEmpty">
+                    <param name="notEmptyParam" assert-param-ref="notEmptyParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="propertiesReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityNameConclusion" />
+                    <param name="properties" assert-param-ref="propertiesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifCsvEntryThenLazyNotEmptyValues">
+            <param name="entryValueAssumption" type="Object" />
+            <param name="csvValuesAssumption" type="Object" />
+            <param name="lazyNotEmptyValuesParamConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="csvEntry">
+                    <param name="entryValue" assert-param-ref="entryValueAssumption" />
+                    <param name="csvValues" assert-param-ref="csvValuesAssumption" />
+                </param>
+                <param name="impliesConclusion" assert-ref="lazyNotEmptyValues">
+                    <param name="lazyNotEmptyValuesParam" assert-param-ref="lazyNotEmptyValuesParamConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyValuesThenPropertyReferenceEntry">
+            <param name="notEmptyValuesParamAssumption" type="String" />
+            <param name="entityNameConclusion" type="String" />
+            <param name="propertyNameConclusion" type="String" />
+            <param name="propertyValueConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="notEmptyValues">
+                    <param name="notEmptyValuesParam" assert-param-ref="notEmptyValuesParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="propertyReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityNameConclusion" />
+                    <param name="propertyName" assert-param-ref="propertyNameConclusion" />
+                    <param name="propertyValue" assert-param-ref="propertyValueConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyValuesThenSygmaParticipantCodeBicExist">
+            <param name="notEmptyValuesParamAssumption" type="String" />
+            <param name="codeBicParticipantConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="notEmptyValues">
+                    <param name="notEmptyValuesParam" assert-param-ref="notEmptyValuesParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantCodeBicExist">
+                    <param name="codeBicParticipant" assert-param-ref="codeBicParticipantConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyValuesThenSygmaParticipantNumeroCompteExist">
+            <param name="notEmptyValuesParamAssumption" type="String" />
+            <param name="numeroCompteParticipantConclusion" type="String" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="notEmptyValues">
+                    <param name="notEmptyValuesParam" assert-param-ref="notEmptyValuesParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantNumeroCompteExist">
+                    <param name="numeroCompteParticipant" assert-param-ref="numeroCompteParticipantConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+
+        <assert name="ifNotEmptyValuesThenPropertiesReferenceEntry">
+            <param name="notEmptyValuesParamAssumption" type="Object" />
+            <param name="entityNameConclusion" type="Object" />
+            <param name="propertiesConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="notEmptyValues">
+                    <param name="notEmptyValuesParam" assert-param-ref="notEmptyValuesParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="propertiesReferenceEntry">
+                    <param name="entityName" assert-param-ref="entityNameConclusion" />
+                    <param name="properties" assert-param-ref="propertiesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyValuesThenSygmaParticipantCodeBicWithPropertiesExist">
+            <param name="notEmptyValuesParamAssumption" type="Object" />
+            <param name="codeBicParticipantConclusion" type="Object" />
+            <param name="propertiesConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="notEmptyValues">
+                    <param name="notEmptyValuesParam" assert-param-ref="notEmptyValuesParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantCodeBicWithPropertiesExist">
+                    <param name="codeBicParticipant" assert-param-ref="codeBicParticipantConclusion" />
+                    <param name="properties" assert-param-ref="propertiesConclusion" />
+                </param>
+            </formula>
+        </assert>
+
+        <assert name="ifNotEmptyValuesThenSygmaParticipantNumeroCompteWithPropertiesExist">
+            <param name="notEmptyValuesParamAssumption" type="Object" />
+            <param name="numeroCompteParticipantConclusion" type="Object" />
+            <param name="propertiesConclusion" type="Object" />
+            <formula connector-ref="implies">
+                <param name="impliesAssumption" predicate-ref="notEmptyValues">
+                    <param name="notEmptyValuesParam" assert-param-ref="notEmptyValuesParamAssumption" />
+                </param>
+                <param name="impliesConclusion" predicate-ref="sygmaParticipantNumeroCompteWithPropertiesExist">
+                    <param name="numeroCompteParticipant" assert-param-ref="numeroCompteParticipantConclusion" />
+                    <param name="properties" assert-param-ref="propertiesConclusion" />
+                </param>
+            </formula>
+        </assert>
+               
+
+    </asserts>
+
+</predicate-engine>
\ No newline at end of file

--
Gitblit v1.10.0