fix opposite push pop for special symbols in PDAs

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;

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;