fix 4 jenkins variable shadow error

alib2data/src/tree/ranked/PrefixRankedNonlinearPattern.h

@@ -193,14 +193,14 @@ void PrefixRankedNonlinearPattern < SymbolType, RankType >::setContent ( std::ve
 template < class SymbolType, class RankType >
 void PrefixRankedNonlinearPattern < SymbolType, RankType >::arityChecksum ( const std::vector < std::ranked_symbol < SymbolType, RankType > > & data ) {
-	int arityChecksum = 1;
+	int arityChecksumAcc = 1;
 	for ( const std::ranked_symbol < SymbolType, RankType > & symbol : data ) {
-		arityChecksum += symbol.getRank ( ).getData ( );
-		arityChecksum -= 1;
+		arityChecksumAcc += symbol.getRank ( ).getData ( );
+		arityChecksumAcc -= 1;
 	}
-	if ( arityChecksum != 0 ) throw TreeException ( "The string does not form a tree" );
+	if ( arityChecksumAcc != 0 ) throw TreeException ( "The string does not form a tree" );
 }
 template < class SymbolType, class RankType >

alib2data/src/tree/ranked/PrefixRankedPattern.h

@@ -165,14 +165,14 @@ void PrefixRankedPattern < SymbolType, RankType >::setContent ( std::vector < st
 template < class SymbolType, class RankType >
 void PrefixRankedPattern < SymbolType, RankType >::arityChecksum ( const std::vector < std::ranked_symbol < SymbolType, RankType > > & data ) {
-	int arityChecksum = 1;
+	int arityChecksumAcc = 1;
 	for ( const std::ranked_symbol < SymbolType, RankType > & symbol : data ) {
-		arityChecksum += symbol.getRank ( ).getData ( );
-		arityChecksum -= 1;
+		arityChecksumAcc += symbol.getRank ( ).getData ( );
+		arityChecksumAcc -= 1;
 	}
-	if ( arityChecksum != 0 ) throw TreeException ( "The string does not form a tree" );
+	if ( arityChecksumAcc != 0 ) throw TreeException ( "The string does not form a tree" );
 }
 template < class SymbolType, class RankType >

alib2data/src/tree/ranked/PrefixRankedTree.h

@@ -152,14 +152,14 @@ void PrefixRankedTree < SymbolType, RankType >::setContent ( std::vector < std::
 template < class SymbolType, class RankType >
 void PrefixRankedTree < SymbolType, RankType >::arityChecksum ( const std::vector < std::ranked_symbol < SymbolType, RankType > > & data ) {
-	int arityChecksum = 1;
+	int arityChecksumAcc = 1;
 	for ( const std::ranked_symbol < SymbolType, RankType > & symbol : data ) {
-		arityChecksum += symbol.getRank ( ).getData ( );
-		arityChecksum -= 1;
+		arityChecksumAcc += symbol.getRank ( ).getData ( );
+		arityChecksumAcc -= 1;
 	}
-	if ( arityChecksum != 0 ) throw TreeException ( "The string does not form a tree" );
+	if ( arityChecksumAcc != 0 ) throw TreeException ( "The string does not form a tree" );
 }
 template < class SymbolType, class RankType >