diff --git a/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.h b/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.h
index 13ceb138d3806dfe988615571459962b0023ffe5..0126575f872b64acf3265f6082a257ecb1ea26f3 100644
--- a/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.h
+++ b/alib2algo/src/arbology/exact/ExactNonlinearTreePatternAutomaton.h
@@ -225,14 +225,14 @@ automaton::InputDrivenNPDA < common::ranked_symbol < SymbolType, RankType >, cha
 	}
 
 	res.addInputSymbol ( subtreeWildcard );
-	res.setPushdownStoreOperation ( subtreeWildcard, ext::vector < char > ( 1, S ), ext::vector < char > { } );
+	res.setPushdownStoreOperation ( subtreeWildcard, ext::vector < char > { }, ext::vector < char > ( 1, S ) );
 
 	res.addInputSymbol ( variablesBar );
-	res.setPushdownStoreOperation ( variablesBar, ext::vector < char > { }, ext::vector < char > ( 1, S ) );
+	res.setPushdownStoreOperation ( variablesBar, ext::vector < char > ( 1, S ), ext::vector < char > { } );
 
 	for ( const common::ranked_symbol < SymbolType, RankType > & nonlinearVariable : nonlinearVariables ) {
 		res.addInputSymbol ( nonlinearVariable );
-		res.setPushdownStoreOperation ( nonlinearVariable, ext::vector < char > ( 1, S ), ext::vector < char > { } );
+		res.setPushdownStoreOperation ( nonlinearVariable, ext::vector < char > { }, ext::vector < char > ( 1, S ) );
 	}
 
 	unsigned i = 1;
diff --git a/alib2algo/src/arbology/exact/ExactTreePatternAutomaton.h b/alib2algo/src/arbology/exact/ExactTreePatternAutomaton.h
index f7ab52cbf621b0bef418420b2aa85b675c4c62ee..2a1fd32b28ea8d3b6ad4ec63b1ddee8c0d6d0ae2 100644
--- a/alib2algo/src/arbology/exact/ExactTreePatternAutomaton.h
+++ b/alib2algo/src/arbology/exact/ExactTreePatternAutomaton.h
@@ -52,10 +52,10 @@ automaton::InputDrivenNPDA < common::ranked_symbol < SymbolType, RankType >, cha
 	}
 
 	res.addInputSymbol ( subtreeWildcard );
-	res.setPushdownStoreOperation ( subtreeWildcard, ext::vector < char > ( 1, S ), ext::vector < char > { } );
+	res.setPushdownStoreOperation ( subtreeWildcard, ext::vector < char > { }, ext::vector < char > ( 1, S ) );
 
 	res.addInputSymbol ( variablesBar );
-	res.setPushdownStoreOperation ( variablesBar, ext::vector < char > { }, ext::vector < char > ( 1, S ) );
+	res.setPushdownStoreOperation ( variablesBar, ext::vector < char > ( 1, S ), ext::vector < char > { } );
 
 	unsigned i = 1;
 	ext::deque < unsigned > subtreeJumps;