+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/maude-2.6nb1/work.log
+ su pbulk -c '"$@"' make /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/maude-2.6nb1/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Building for maude-2.6nb1
/opt/pkg/bin/bmake  all-recursive
Making all in src
Making all in 3rdParty
if gcc -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT malloc.o -MD -MP -MF ".deps/malloc.Tpo" -c -o malloc.o malloc.c;  then mv -f ".deps/malloc.Tpo" ".deps/malloc.Po"; else rm -f ".deps/malloc.Tpo"; exit 1; fi
rm -f libdlmalloc.a
ar cru libdlmalloc.a malloc.o 
ranlib libdlmalloc.a
Making all in Utility
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT macros.o -MD -MP -MF ".deps/macros.Tpo" -c -o macros.o macros.cc;  then mv -f ".deps/macros.Tpo" ".deps/macros.Po"; else rm -f ".deps/macros.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT preVector.o -MD -MP -MF ".deps/preVector.Tpo" -c -o preVector.o preVector.cc;  then mv -f ".deps/preVector.Tpo" ".deps/preVector.Po"; else rm -f ".deps/preVector.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT intSet.o -MD -MP -MF ".deps/intSet.Tpo" -c -o intSet.o intSet.cc;  then mv -f ".deps/intSet.Tpo" ".deps/intSet.Po"; else rm -f ".deps/intSet.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT pointerSet.o -MD -MP -MF ".deps/pointerSet.Tpo" -c -o pointerSet.o pointerSet.cc;  then mv -f ".deps/pointerSet.Tpo" ".deps/pointerSet.Po"; else rm -f ".deps/pointerSet.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT stringTable.o -MD -MP -MF ".deps/stringTable.Tpo" -c -o stringTable.o stringTable.cc;  then mv -f ".deps/stringTable.Tpo" ".deps/stringTable.Po"; else rm -f ".deps/stringTable.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT graph.o -MD -MP -MF ".deps/graph.Tpo" -c -o graph.o graph.cc;  then mv -f ".deps/graph.Tpo" ".deps/graph.Po"; else rm -f ".deps/graph.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT digraph.o -MD -MP -MF ".deps/digraph.Tpo" -c -o digraph.o digraph.cc;  then mv -f ".deps/digraph.Tpo" ".deps/digraph.Po"; else rm -f ".deps/digraph.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT unionFind.o -MD -MP -MF ".deps/unionFind.Tpo" -c -o unionFind.o unionFind.cc;  then mv -f ".deps/unionFind.Tpo" ".deps/unionFind.Po"; else rm -f ".deps/unionFind.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT diophantineSystem.o -MD -MP -MF ".deps/diophantineSystem.Tpo" -c -o diophantineSystem.o diophantineSystem.cc;  then mv -f ".deps/diophantineSystem.Tpo" ".deps/diophantineSystem.Po"; else rm -f ".deps/diophantineSystem.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT natSet.o -MD -MP -MF ".deps/natSet.Tpo" -c -o natSet.o natSet.cc;  then mv -f ".deps/natSet.Tpo" ".deps/natSet.Po"; else rm -f ".deps/natSet.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT pointerMap.o -MD -MP -MF ".deps/pointerMap.Tpo" -c -o pointerMap.o pointerMap.cc;  then mv -f ".deps/pointerMap.Tpo" ".deps/pointerMap.Po"; else rm -f ".deps/pointerMap.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT sequencePartition.o -MD -MP -MF ".deps/sequencePartition.Tpo" -c -o sequencePartition.o sequencePartition.cc;  then mv -f ".deps/sequencePartition.Tpo" ".deps/sequencePartition.Po"; else rm -f ".deps/sequencePartition.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT indent.o -MD -MP -MF ".deps/indent.Tpo" -c -o indent.o indent.cc;  then mv -f ".deps/indent.Tpo" ".deps/indent.Po"; else rm -f ".deps/indent.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT binBuf.o -MD -MP -MF ".deps/binBuf.Tpo" -c -o binBuf.o binBuf.cc;  then mv -f ".deps/binBuf.Tpo" ".deps/binBuf.Po"; else rm -f ".deps/binBuf.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT decBuf.o -MD -MP -MF ".deps/decBuf.Tpo" -c -o decBuf.o decBuf.cc;  then mv -f ".deps/decBuf.Tpo" ".deps/decBuf.Po"; else rm -f ".deps/decBuf.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT bddUser.o -MD -MP -MF ".deps/bddUser.Tpo" -c -o bddUser.o bddUser.cc;  then mv -f ".deps/bddUser.Tpo" ".deps/bddUser.Po"; else rm -f ".deps/bddUser.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT tty.o -MD -MP -MF ".deps/tty.Tpo" -c -o tty.o tty.cc;  then mv -f ".deps/tty.Tpo" ".deps/tty.Po"; else rm -f ".deps/tty.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT bdd.o -MD -MP -MF ".deps/bdd.Tpo" -c -o bdd.o bdd.cc;  then mv -f ".deps/bdd.Tpo" ".deps/bdd.Po"; else rm -f ".deps/bdd.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT timer.o -MD -MP -MF ".deps/timer.Tpo" -c -o timer.o timer.cc;  then mv -f ".deps/timer.Tpo" ".deps/timer.Po"; else rm -f ".deps/timer.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT mpzSystem.o -MD -MP -MF ".deps/mpzSystem.Tpo" -c -o mpzSystem.o mpzSystem.cc;  then mv -f ".deps/mpzSystem.Tpo" ".deps/mpzSystem.Po"; else rm -f ".deps/mpzSystem.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT intSystem.o -MD -MP -MF ".deps/intSystem.Tpo" -c -o intSystem.o intSystem.cc;  then mv -f ".deps/intSystem.Tpo" ".deps/intSystem.Po"; else rm -f ".deps/intSystem.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..    -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT allSat.o -MD -MP -MF ".deps/allSat.Tpo" -c -o allSat.o allSat.cc;  then mv -f ".deps/allSat.Tpo" ".deps/allSat.Po"; else rm -f ".deps/allSat.Tpo"; exit 1; fi
rm -f libutility.a
ar cru libutility.a macros.o preVector.o  intSet.o pointerSet.o stringTable.o  graph.o digraph.o unionFind.o  diophantineSystem.o natSet.o  pointerMap.o sequencePartition.o  indent.o binBuf.o decBuf.o  bddUser.o tty.o bdd.o timer.o  mpzSystem.o intSystem.o allSat.o 
ranlib libutility.a
Making all in Temporal
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libtemporal_a-logicFormula.o -MD -MP -MF ".deps/libtemporal_a-logicFormula.Tpo" -c -o libtemporal_a-logicFormula.o `test -f 'logicFormula.cc' || echo './'`logicFormula.cc;  then mv -f ".deps/libtemporal_a-logicFormula.Tpo" ".deps/libtemporal_a-logicFormula.Po"; else rm -f ".deps/libtemporal_a-logicFormula.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libtemporal_a-buchiAutomaton2.o -MD -MP -MF ".deps/libtemporal_a-buchiAutomaton2.Tpo" -c -o libtemporal_a-buchiAutomaton2.o `test -f 'buchiAutomaton2.cc' || echo './'`buchiAutomaton2.cc;  then mv -f ".deps/libtemporal_a-buchiAutomaton2.Tpo" ".deps/libtemporal_a-buchiAutomaton2.Po"; else rm -f ".deps/libtemporal_a-buchiAutomaton2.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libtemporal_a-transitionSet.o -MD -MP -MF ".deps/libtemporal_a-transitionSet.Tpo" -c -o libtemporal_a-transitionSet.o `test -f 'transitionSet.cc' || echo './'`transitionSet.cc;  then mv -f ".deps/libtemporal_a-transitionSet.Tpo" ".deps/libtemporal_a-transitionSet.Po"; else rm -f ".deps/libtemporal_a-transitionSet.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libtemporal_a-veryWeakAlternatingAutomaton.o -MD -MP -MF ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo" -c -o libtemporal_a-veryWeakAlternatingAutomaton.o `test -f 'veryWeakAlternatingAutomaton.cc' || echo './'`veryWeakAlternatingAutomaton.cc;  then mv -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo" ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Po"; else rm -f ".deps/libtemporal_a-veryWeakAlternatingAutomaton.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libtemporal_a-rawTransitionSet.o -MD -MP -MF ".deps/libtemporal_a-rawTransitionSet.Tpo" -c -o libtemporal_a-rawTransitionSet.o `test -f 'rawTransitionSet.cc' || echo './'`rawTransitionSet.cc;  then mv -f ".deps/libtemporal_a-rawTransitionSet.Tpo" ".deps/libtemporal_a-rawTransitionSet.Po"; else rm -f ".deps/libtemporal_a-rawTransitionSet.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libtemporal_a-genBuchiAutomaton.o -MD -MP -MF ".deps/libtemporal_a-genBuchiAutomaton.Tpo" -c -o libtemporal_a-genBuchiAutomaton.o `test -f 'genBuchiAutomaton.cc' || echo './'`genBuchiAutomaton.cc;  then mv -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo" ".deps/libtemporal_a-genBuchiAutomaton.Po"; else rm -f ".deps/libtemporal_a-genBuchiAutomaton.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libtemporal_a-modelChecker2.o -MD -MP -MF ".deps/libtemporal_a-modelChecker2.Tpo" -c -o libtemporal_a-modelChecker2.o `test -f 'modelChecker2.cc' || echo './'`modelChecker2.cc;  then mv -f ".deps/libtemporal_a-modelChecker2.Tpo" ".deps/libtemporal_a-modelChecker2.Po"; else rm -f ".deps/libtemporal_a-modelChecker2.Tpo"; exit 1; fi
rm -f libtemporal.a
ar cru libtemporal.a libtemporal_a-logicFormula.o  libtemporal_a-buchiAutomaton2.o  libtemporal_a-transitionSet.o  libtemporal_a-veryWeakAlternatingAutomaton.o  libtemporal_a-rawTransitionSet.o  libtemporal_a-genBuchiAutomaton.o  libtemporal_a-modelChecker2.o 
ranlib libtemporal.a
Making all in Interface
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libinterface_a-symbol.o -MD -MP -MF ".deps/libinterface_a-symbol.Tpo" -c -o libinterface_a-symbol.o `test -f 'symbol.cc' || echo './'`symbol.cc;  then mv -f ".deps/libinterface_a-symbol.Tpo" ".deps/libinterface_a-symbol.Po"; else rm -f ".deps/libinterface_a-symbol.Tpo"; exit 1; fi
In file included from term.hh:34,
                 from symbol.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libinterface_a-binarySymbol.o -MD -MP -MF ".deps/libinterface_a-binarySymbol.Tpo" -c -o libinterface_a-binarySymbol.o `test -f 'binarySymbol.cc' || echo './'`binarySymbol.cc;  then mv -f ".deps/libinterface_a-binarySymbol.Tpo" ".deps/libinterface_a-binarySymbol.Po"; else rm -f ".deps/libinterface_a-binarySymbol.Tpo"; exit 1; fi
In file included from term.hh:34,
                 from binarySymbol.hh:33,
                 from binarySymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libinterface_a-associativeSymbol.o -MD -MP -MF ".deps/libinterface_a-associativeSymbol.Tpo" -c -o libinterface_a-associativeSymbol.o `test -f 'associativeSymbol.cc' || echo './'`associativeSymbol.cc;  then mv -f ".deps/libinterface_a-associativeSymbol.Tpo" ".deps/libinterface_a-associativeSymbol.Po"; else rm -f ".deps/libinterface_a-associativeSymbol.Tpo"; exit 1; fi
In file included from term.hh:34,
                 from binarySymbol.hh:33,
                 from associativeSymbol.hh:28,
                 from associativeSymbol.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libinterface_a-term.o -MD -MP -MF ".deps/libinterface_a-term.Tpo" -c -o libinterface_a-term.o `test -f 'term.cc' || echo './'`term.cc;  then mv -f ".deps/libinterface_a-term.Tpo" ".deps/libinterface_a-term.Po"; else rm -f ".deps/libinterface_a-term.Tpo"; exit 1; fi
In file included from term.hh:34,
                 from term.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libinterface_a-dagNode.o -MD -MP -MF ".deps/libinterface_a-dagNode.Tpo" -c -o libinterface_a-dagNode.o `test -f 'dagNode.cc' || echo './'`dagNode.cc;  then mv -f ".deps/libinterface_a-dagNode.Tpo" ".deps/libinterface_a-dagNode.Po"; else rm -f ".deps/libinterface_a-dagNode.Tpo"; exit 1; fi
In file included from term.hh:34,
                 from binarySymbol.hh:33,
                 from dagNode.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libinterface.a
ar cru libinterface.a libinterface_a-symbol.o  libinterface_a-binarySymbol.o  libinterface_a-associativeSymbol.o  libinterface_a-term.o libinterface_a-dagNode.o 
ranlib libinterface.a
Making all in Core
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-memoryCell.o -MD -MP -MF ".deps/libcore_a-memoryCell.Tpo" -c -o libcore_a-memoryCell.o `test -f 'memoryCell.cc' || echo './'`memoryCell.cc;  then mv -f ".deps/libcore_a-memoryCell.Tpo" ".deps/libcore_a-memoryCell.Po"; else rm -f ".deps/libcore_a-memoryCell.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-rhsBuilder.o -MD -MP -MF ".deps/libcore_a-rhsBuilder.Tpo" -c -o libcore_a-rhsBuilder.o `test -f 'rhsBuilder.cc' || echo './'`rhsBuilder.cc;  then mv -f ".deps/libcore_a-rhsBuilder.Tpo" ".deps/libcore_a-rhsBuilder.Po"; else rm -f ".deps/libcore_a-rhsBuilder.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-termBag.o -MD -MP -MF ".deps/libcore_a-termBag.Tpo" -c -o libcore_a-termBag.o `test -f 'termBag.cc' || echo './'`termBag.cc;  then mv -f ".deps/libcore_a-termBag.Tpo" ".deps/libcore_a-termBag.Po"; else rm -f ".deps/libcore_a-termBag.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from termBag.cc:36:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-bindingLhsAutomaton.o -MD -MP -MF ".deps/libcore_a-bindingLhsAutomaton.Tpo" -c -o libcore_a-bindingLhsAutomaton.o `test -f 'bindingLhsAutomaton.cc' || echo './'`bindingLhsAutomaton.cc;  then mv -f ".deps/libcore_a-bindingLhsAutomaton.Tpo" ".deps/libcore_a-bindingLhsAutomaton.Po"; else rm -f ".deps/libcore_a-bindingLhsAutomaton.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-trivialRhsAutomaton.o -MD -MP -MF ".deps/libcore_a-trivialRhsAutomaton.Tpo" -c -o libcore_a-trivialRhsAutomaton.o `test -f 'trivialRhsAutomaton.cc' || echo './'`trivialRhsAutomaton.cc;  then mv -f ".deps/libcore_a-trivialRhsAutomaton.Tpo" ".deps/libcore_a-trivialRhsAutomaton.Po"; else rm -f ".deps/libcore_a-trivialRhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from variableInfo.hh:30,
                 from trivialRhsAutomaton.cc:41:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-copyRhsAutomaton.o -MD -MP -MF ".deps/libcore_a-copyRhsAutomaton.Tpo" -c -o libcore_a-copyRhsAutomaton.o `test -f 'copyRhsAutomaton.cc' || echo './'`copyRhsAutomaton.cc;  then mv -f ".deps/libcore_a-copyRhsAutomaton.Tpo" ".deps/libcore_a-copyRhsAutomaton.Po"; else rm -f ".deps/libcore_a-copyRhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from variableInfo.hh:30,
                 from copyRhsAutomaton.cc:42:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-variableInfo.o -MD -MP -MF ".deps/libcore_a-variableInfo.Tpo" -c -o libcore_a-variableInfo.o `test -f 'variableInfo.cc' || echo './'`variableInfo.cc;  then mv -f ".deps/libcore_a-variableInfo.Tpo" ".deps/libcore_a-variableInfo.Po"; else rm -f ".deps/libcore_a-variableInfo.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from variableInfo.hh:30,
                 from variableInfo.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-narrowingVariableInfo.o -MD -MP -MF ".deps/libcore_a-narrowingVariableInfo.Tpo" -c -o libcore_a-narrowingVariableInfo.o `test -f 'narrowingVariableInfo.cc' || echo './'`narrowingVariableInfo.cc;  then mv -f ".deps/libcore_a-narrowingVariableInfo.Tpo" ".deps/libcore_a-narrowingVariableInfo.Po"; else rm -f ".deps/libcore_a-narrowingVariableInfo.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-termSet.o -MD -MP -MF ".deps/libcore_a-termSet.Tpo" -c -o libcore_a-termSet.o `test -f 'termSet.cc' || echo './'`termSet.cc;  then mv -f ".deps/libcore_a-termSet.Tpo" ".deps/libcore_a-termSet.Po"; else rm -f ".deps/libcore_a-termSet.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from termSet.cc:36:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-strategy.o -MD -MP -MF ".deps/libcore_a-strategy.Tpo" -c -o libcore_a-strategy.o `test -f 'strategy.cc' || echo './'`strategy.cc;  then mv -f ".deps/libcore_a-strategy.Tpo" ".deps/libcore_a-strategy.Po"; else rm -f ".deps/libcore_a-strategy.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-sortTable.o -MD -MP -MF ".deps/libcore_a-sortTable.Tpo" -c -o libcore_a-sortTable.o `test -f 'sortTable.cc' || echo './'`sortTable.cc;  then mv -f ".deps/libcore_a-sortTable.Tpo" ".deps/libcore_a-sortTable.Po"; else rm -f ".deps/libcore_a-sortTable.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from sortTable.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-sortConstraintTable.o -MD -MP -MF ".deps/libcore_a-sortConstraintTable.Tpo" -c -o libcore_a-sortConstraintTable.o `test -f 'sortConstraintTable.cc' || echo './'`sortConstraintTable.cc;  then mv -f ".deps/libcore_a-sortConstraintTable.Tpo" ".deps/libcore_a-sortConstraintTable.Po"; else rm -f ".deps/libcore_a-sortConstraintTable.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from sortConstraintTable.cc:39:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-equationTable.o -MD -MP -MF ".deps/libcore_a-equationTable.Tpo" -c -o libcore_a-equationTable.o `test -f 'equationTable.cc' || echo './'`equationTable.cc;  then mv -f ".deps/libcore_a-equationTable.Tpo" ".deps/libcore_a-equationTable.Po"; else rm -f ".deps/libcore_a-equationTable.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from equationTable.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-ruleTable.o -MD -MP -MF ".deps/libcore_a-ruleTable.Tpo" -c -o libcore_a-ruleTable.o `test -f 'ruleTable.cc' || echo './'`ruleTable.cc;  then mv -f ".deps/libcore_a-ruleTable.Tpo" ".deps/libcore_a-ruleTable.Po"; else rm -f ".deps/libcore_a-ruleTable.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ruleTable.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-sort.o -MD -MP -MF ".deps/libcore_a-sort.Tpo" -c -o libcore_a-sort.o `test -f 'sort.cc' || echo './'`sort.cc;  then mv -f ".deps/libcore_a-sort.Tpo" ".deps/libcore_a-sort.Po"; else rm -f ".deps/libcore_a-sort.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-connectedComponent.o -MD -MP -MF ".deps/libcore_a-connectedComponent.Tpo" -c -o libcore_a-connectedComponent.o `test -f 'connectedComponent.cc' || echo './'`connectedComponent.cc;  then mv -f ".deps/libcore_a-connectedComponent.Tpo" ".deps/libcore_a-connectedComponent.Po"; else rm -f ".deps/libcore_a-connectedComponent.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-module.o -MD -MP -MF ".deps/libcore_a-module.Tpo" -c -o libcore_a-module.o `test -f 'module.cc' || echo './'`module.cc;  then mv -f ".deps/libcore_a-module.Tpo" ".deps/libcore_a-module.Po"; else rm -f ".deps/libcore_a-module.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from module.cc:37:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-substitution.o -MD -MP -MF ".deps/libcore_a-substitution.Tpo" -c -o libcore_a-substitution.o `test -f 'substitution.cc' || echo './'`substitution.cc;  then mv -f ".deps/libcore_a-substitution.Tpo" ".deps/libcore_a-substitution.Po"; else rm -f ".deps/libcore_a-substitution.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-localBinding.o -MD -MP -MF ".deps/libcore_a-localBinding.Tpo" -c -o libcore_a-localBinding.o `test -f 'localBinding.cc' || echo './'`localBinding.cc;  then mv -f ".deps/libcore_a-localBinding.Tpo" ".deps/libcore_a-localBinding.Po"; else rm -f ".deps/libcore_a-localBinding.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from variableInfo.hh:30,
                 from localBinding.cc:42:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-subproblemSequence.o -MD -MP -MF ".deps/libcore_a-subproblemSequence.Tpo" -c -o libcore_a-subproblemSequence.o `test -f 'subproblemSequence.cc' || echo './'`subproblemSequence.cc;  then mv -f ".deps/libcore_a-subproblemSequence.Tpo" ".deps/libcore_a-subproblemSequence.Po"; else rm -f ".deps/libcore_a-subproblemSequence.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-subproblemDisjunction.o -MD -MP -MF ".deps/libcore_a-subproblemDisjunction.Tpo" -c -o libcore_a-subproblemDisjunction.o `test -f 'subproblemDisjunction.cc' || echo './'`subproblemDisjunction.cc;  then mv -f ".deps/libcore_a-subproblemDisjunction.Tpo" ".deps/libcore_a-subproblemDisjunction.Po"; else rm -f ".deps/libcore_a-subproblemDisjunction.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-sortCheckSubproblem.o -MD -MP -MF ".deps/libcore_a-sortCheckSubproblem.Tpo" -c -o libcore_a-sortCheckSubproblem.o `test -f 'sortCheckSubproblem.cc' || echo './'`sortCheckSubproblem.cc;  then mv -f ".deps/libcore_a-sortCheckSubproblem.Tpo" ".deps/libcore_a-sortCheckSubproblem.Po"; else rm -f ".deps/libcore_a-sortCheckSubproblem.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-disjunctiveSubproblemAccumulator.o -MD -MP -MF ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo" -c -o libcore_a-disjunctiveSubproblemAccumulator.o `test -f 'disjunctiveSubproblemAccumulator.cc' || echo './'`disjunctiveSubproblemAccumulator.cc;  then mv -f ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo" ".deps/libcore_a-disjunctiveSubproblemAccumulator.Po"; else rm -f ".deps/libcore_a-disjunctiveSubproblemAccumulator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-preEquation.o -MD -MP -MF ".deps/libcore_a-preEquation.Tpo" -c -o libcore_a-preEquation.o `test -f 'preEquation.cc' || echo './'`preEquation.cc;  then mv -f ".deps/libcore_a-preEquation.Tpo" ".deps/libcore_a-preEquation.Po"; else rm -f ".deps/libcore_a-preEquation.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from preEquation.cc:40:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-equation.o -MD -MP -MF ".deps/libcore_a-equation.Tpo" -c -o libcore_a-equation.o `test -f 'equation.cc' || echo './'`equation.cc;  then mv -f ".deps/libcore_a-equation.Tpo" ".deps/libcore_a-equation.Po"; else rm -f ".deps/libcore_a-equation.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from equation.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-rule.o -MD -MP -MF ".deps/libcore_a-rule.Tpo" -c -o libcore_a-rule.o `test -f 'rule.cc' || echo './'`rule.cc;  then mv -f ".deps/libcore_a-rule.Tpo" ".deps/libcore_a-rule.Po"; else rm -f ".deps/libcore_a-rule.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from rule.cc:39:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-sortConstraint.o -MD -MP -MF ".deps/libcore_a-sortConstraint.Tpo" -c -o libcore_a-sortConstraint.o `test -f 'sortConstraint.cc' || echo './'`sortConstraint.cc;  then mv -f ".deps/libcore_a-sortConstraint.Tpo" ".deps/libcore_a-sortConstraint.Po"; else rm -f ".deps/libcore_a-sortConstraint.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from sortConstraint.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-rewritingContext.o -MD -MP -MF ".deps/libcore_a-rewritingContext.Tpo" -c -o libcore_a-rewritingContext.o `test -f 'rewritingContext.cc' || echo './'`rewritingContext.cc;  then mv -f ".deps/libcore_a-rewritingContext.Tpo" ".deps/libcore_a-rewritingContext.Po"; else rm -f ".deps/libcore_a-rewritingContext.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-variableAbstractionSubproblem.o -MD -MP -MF ".deps/libcore_a-variableAbstractionSubproblem.Tpo" -c -o libcore_a-variableAbstractionSubproblem.o `test -f 'variableAbstractionSubproblem.cc' || echo './'`variableAbstractionSubproblem.cc;  then mv -f ".deps/libcore_a-variableAbstractionSubproblem.Tpo" ".deps/libcore_a-variableAbstractionSubproblem.Po"; else rm -f ".deps/libcore_a-variableAbstractionSubproblem.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-equalitySubproblem.o -MD -MP -MF ".deps/libcore_a-equalitySubproblem.Tpo" -c -o libcore_a-equalitySubproblem.o `test -f 'equalitySubproblem.cc' || echo './'`equalitySubproblem.cc;  then mv -f ".deps/libcore_a-equalitySubproblem.Tpo" ".deps/libcore_a-equalitySubproblem.Po"; else rm -f ".deps/libcore_a-equalitySubproblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from equalitySubproblem.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-dagRoot.o -MD -MP -MF ".deps/libcore_a-dagRoot.Tpo" -c -o libcore_a-dagRoot.o `test -f 'dagRoot.cc' || echo './'`dagRoot.cc;  then mv -f ".deps/libcore_a-dagRoot.Tpo" ".deps/libcore_a-dagRoot.Po"; else rm -f ".deps/libcore_a-dagRoot.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-cachedDag.o -MD -MP -MF ".deps/libcore_a-cachedDag.Tpo" -c -o libcore_a-cachedDag.o `test -f 'cachedDag.cc' || echo './'`cachedDag.cc;  then mv -f ".deps/libcore_a-cachedDag.Tpo" ".deps/libcore_a-cachedDag.Po"; else rm -f ".deps/libcore_a-cachedDag.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from cachedDag.cc:38:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-extensionMatchSubproblem.o -MD -MP -MF ".deps/libcore_a-extensionMatchSubproblem.Tpo" -c -o libcore_a-extensionMatchSubproblem.o `test -f 'extensionMatchSubproblem.cc' || echo './'`extensionMatchSubproblem.cc;  then mv -f ".deps/libcore_a-extensionMatchSubproblem.Tpo" ".deps/libcore_a-extensionMatchSubproblem.Po"; else rm -f ".deps/libcore_a-extensionMatchSubproblem.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-dagNodeSet.o -MD -MP -MF ".deps/libcore_a-dagNodeSet.Tpo" -c -o libcore_a-dagNodeSet.o `test -f 'dagNodeSet.cc' || echo './'`dagNodeSet.cc;  then mv -f ".deps/libcore_a-dagNodeSet.Tpo" ".deps/libcore_a-dagNodeSet.Po"; else rm -f ".deps/libcore_a-dagNodeSet.Tpo"; exit 1; fi
In file included from dagNodeSet.cc:40:
dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-hashConsSet.o -MD -MP -MF ".deps/libcore_a-hashConsSet.Tpo" -c -o libcore_a-hashConsSet.o `test -f 'hashConsSet.cc' || echo './'`hashConsSet.cc;  then mv -f ".deps/libcore_a-hashConsSet.Tpo" ".deps/libcore_a-hashConsSet.Po"; else rm -f ".deps/libcore_a-hashConsSet.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-memoTable.o -MD -MP -MF ".deps/libcore_a-memoTable.Tpo" -c -o libcore_a-memoTable.o `test -f 'memoTable.cc' || echo './'`memoTable.cc;  then mv -f ".deps/libcore_a-memoTable.Tpo" ".deps/libcore_a-memoTable.Po"; else rm -f ".deps/libcore_a-memoTable.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-memoMap.o -MD -MP -MF ".deps/libcore_a-memoMap.Tpo" -c -o libcore_a-memoMap.o `test -f 'memoMap.cc' || echo './'`memoMap.cc;  then mv -f ".deps/libcore_a-memoMap.Tpo" ".deps/libcore_a-memoMap.Po"; else rm -f ".deps/libcore_a-memoMap.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-rootContainer.o -MD -MP -MF ".deps/libcore_a-rootContainer.Tpo" -c -o libcore_a-rootContainer.o `test -f 'rootContainer.cc' || echo './'`rootContainer.cc;  then mv -f ".deps/libcore_a-rootContainer.Tpo" ".deps/libcore_a-rootContainer.Po"; else rm -f ".deps/libcore_a-rootContainer.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-sortBdds.o -MD -MP -MF ".deps/libcore_a-sortBdds.Tpo" -c -o libcore_a-sortBdds.o `test -f 'sortBdds.cc' || echo './'`sortBdds.cc;  then mv -f ".deps/libcore_a-sortBdds.Tpo" ".deps/libcore_a-sortBdds.Po"; else rm -f ".deps/libcore_a-sortBdds.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-unificationContext.o -MD -MP -MF ".deps/libcore_a-unificationContext.Tpo" -c -o libcore_a-unificationContext.o `test -f 'unificationContext.cc' || echo './'`unificationContext.cc;  then mv -f ".deps/libcore_a-unificationContext.Tpo" ".deps/libcore_a-unificationContext.Po"; else rm -f ".deps/libcore_a-unificationContext.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-protectedDagNodeSet.o -MD -MP -MF ".deps/libcore_a-protectedDagNodeSet.Tpo" -c -o libcore_a-protectedDagNodeSet.o `test -f 'protectedDagNodeSet.cc' || echo './'`protectedDagNodeSet.cc;  then mv -f ".deps/libcore_a-protectedDagNodeSet.Tpo" ".deps/libcore_a-protectedDagNodeSet.Po"; else rm -f ".deps/libcore_a-protectedDagNodeSet.Tpo"; exit 1; fi
In file included from protectedDagNodeSet.hh:28,
                 from protectedDagNodeSet.cc:40:
dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-pendingUnificationStack.o -MD -MP -MF ".deps/libcore_a-pendingUnificationStack.Tpo" -c -o libcore_a-pendingUnificationStack.o `test -f 'pendingUnificationStack.cc' || echo './'`pendingUnificationStack.cc;  then mv -f ".deps/libcore_a-pendingUnificationStack.Tpo" ".deps/libcore_a-pendingUnificationStack.Po"; else rm -f ".deps/libcore_a-pendingUnificationStack.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-unificationSubproblemDisjunction.o -MD -MP -MF ".deps/libcore_a-unificationSubproblemDisjunction.Tpo" -c -o libcore_a-unificationSubproblemDisjunction.o `test -f 'unificationSubproblemDisjunction.cc' || echo './'`unificationSubproblemDisjunction.cc;  then mv -f ".deps/libcore_a-unificationSubproblemDisjunction.Tpo" ".deps/libcore_a-unificationSubproblemDisjunction.Po"; else rm -f ".deps/libcore_a-unificationSubproblemDisjunction.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libcore_a-compoundCycleSubproblem.o -MD -MP -MF ".deps/libcore_a-compoundCycleSubproblem.Tpo" -c -o libcore_a-compoundCycleSubproblem.o `test -f 'compoundCycleSubproblem.cc' || echo './'`compoundCycleSubproblem.cc;  then mv -f ".deps/libcore_a-compoundCycleSubproblem.Tpo" ".deps/libcore_a-compoundCycleSubproblem.Po"; else rm -f ".deps/libcore_a-compoundCycleSubproblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from compoundCycleSubproblem.cc:39:
./termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
./termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libcore.a
ar cru libcore.a libcore_a-memoryCell.o  libcore_a-rhsBuilder.o libcore_a-termBag.o  libcore_a-bindingLhsAutomaton.o  libcore_a-trivialRhsAutomaton.o  libcore_a-copyRhsAutomaton.o  libcore_a-variableInfo.o  libcore_a-narrowingVariableInfo.o  libcore_a-termSet.o libcore_a-strategy.o  libcore_a-sortTable.o  libcore_a-sortConstraintTable.o  libcore_a-equationTable.o  libcore_a-ruleTable.o libcore_a-sort.o  libcore_a-connectedComponent.o  libcore_a-module.o libcore_a-substitution.o  libcore_a-localBinding.o  libcore_a-subproblemSequence.o  libcore_a-subproblemDisjunction.o  libcore_a-sortCheckSubproblem.o  libcore_a-disjunctiveSubproblemAccumulator.o  libcore_a-preEquation.o libcore_a-equation.o  libcore_a-rule.o libcore_a-sortConstraint.o  libcore_a-rewritingContext.o  libcore_a-variableAbstractionSubproblem.o  libcore_a-equalitySubproblem.o  libcore_a-dagRoot.o libcore_a-cachedDag.o  libcore_a-extensionMatchSubproblem.o  libcore_a-dagNodeSet.o libcore_a-hashConsSet.o  libcore_a-memoTable.o libcore_a-memoMap.o  libcore_a-rootContainer.o libcore_a-sortBdds.o  libcore_a-unificationContext.o  libcore_a-protectedDagNodeSet.o  libcore_a-pendingUnificationStack.o  libcore_a-unificationSubproblemDisjunction.o  libcore_a-compoundCycleSubproblem.o 
ranlib libcore.a
Making all in Variable
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libvariable_a-variableSymbol.o -MD -MP -MF ".deps/libvariable_a-variableSymbol.Tpo" -c -o libvariable_a-variableSymbol.o `test -f 'variableSymbol.cc' || echo './'`variableSymbol.cc;  then mv -f ".deps/libvariable_a-variableSymbol.Tpo" ".deps/libvariable_a-variableSymbol.Po"; else rm -f ".deps/libvariable_a-variableSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from variableSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libvariable_a-variableTerm.o -MD -MP -MF ".deps/libvariable_a-variableTerm.Tpo" -c -o libvariable_a-variableTerm.o `test -f 'variableTerm.cc' || echo './'`variableTerm.cc;  then mv -f ".deps/libvariable_a-variableTerm.Tpo" ".deps/libvariable_a-variableTerm.Po"; else rm -f ".deps/libvariable_a-variableTerm.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from variableTerm.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libvariable_a-variableDagNode.o -MD -MP -MF ".deps/libvariable_a-variableDagNode.Tpo" -c -o libvariable_a-variableDagNode.o `test -f 'variableDagNode.cc' || echo './'`variableDagNode.cc;  then mv -f ".deps/libvariable_a-variableDagNode.Tpo" ".deps/libvariable_a-variableDagNode.Po"; else rm -f ".deps/libvariable_a-variableDagNode.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libvariable_a-variableLhsAutomaton.o -MD -MP -MF ".deps/libvariable_a-variableLhsAutomaton.Tpo" -c -o libvariable_a-variableLhsAutomaton.o `test -f 'variableLhsAutomaton.cc' || echo './'`variableLhsAutomaton.cc;  then mv -f ".deps/libvariable_a-variableLhsAutomaton.Tpo" ".deps/libvariable_a-variableLhsAutomaton.Po"; else rm -f ".deps/libvariable_a-variableLhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ./variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from variableLhsAutomaton.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libvariable.a
ar cru libvariable.a libvariable_a-variableSymbol.o  libvariable_a-variableTerm.o  libvariable_a-variableDagNode.o  libvariable_a-variableLhsAutomaton.o 
ranlib libvariable.a
Making all in NA_Theory
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libNA_Theory_a-NA_Symbol.o -MD -MP -MF ".deps/libNA_Theory_a-NA_Symbol.Tpo" -c -o libNA_Theory_a-NA_Symbol.o `test -f 'NA_Symbol.cc' || echo './'`NA_Symbol.cc;  then mv -f ".deps/libNA_Theory_a-NA_Symbol.Tpo" ".deps/libNA_Theory_a-NA_Symbol.Po"; else rm -f ".deps/libNA_Theory_a-NA_Symbol.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libNA_Theory_a-NA_Term.o -MD -MP -MF ".deps/libNA_Theory_a-NA_Term.Tpo" -c -o libNA_Theory_a-NA_Term.o `test -f 'NA_Term.cc' || echo './'`NA_Term.cc;  then mv -f ".deps/libNA_Theory_a-NA_Term.Tpo" ".deps/libNA_Theory_a-NA_Term.Po"; else rm -f ".deps/libNA_Theory_a-NA_Term.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from NA_Term.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libNA_Theory_a-NA_DagNode.o -MD -MP -MF ".deps/libNA_Theory_a-NA_DagNode.Tpo" -c -o libNA_Theory_a-NA_DagNode.o `test -f 'NA_DagNode.cc' || echo './'`NA_DagNode.cc;  then mv -f ".deps/libNA_Theory_a-NA_DagNode.Tpo" ".deps/libNA_Theory_a-NA_DagNode.Po"; else rm -f ".deps/libNA_Theory_a-NA_DagNode.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libNA_Theory_a-NA_LhsAutomaton.o -MD -MP -MF ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo" -c -o libNA_Theory_a-NA_LhsAutomaton.o `test -f 'NA_LhsAutomaton.cc' || echo './'`NA_LhsAutomaton.cc;  then mv -f ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo" ".deps/libNA_Theory_a-NA_LhsAutomaton.Po"; else rm -f ".deps/libNA_Theory_a-NA_LhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from NA_Term.hh:28,
                 from NA_LhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libNA_Theory_a-NA_RhsAutomaton.o -MD -MP -MF ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo" -c -o libNA_Theory_a-NA_RhsAutomaton.o `test -f 'NA_RhsAutomaton.cc' || echo './'`NA_RhsAutomaton.cc;  then mv -f ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo" ".deps/libNA_Theory_a-NA_RhsAutomaton.Po"; else rm -f ".deps/libNA_Theory_a-NA_RhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from NA_RhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libNA_Theory.a
ar cru libNA_Theory.a libNA_Theory_a-NA_Symbol.o  libNA_Theory_a-NA_Term.o  libNA_Theory_a-NA_DagNode.o  libNA_Theory_a-NA_LhsAutomaton.o  libNA_Theory_a-NA_RhsAutomaton.o 
ranlib libNA_Theory.a
Making all in ACU_Persistent
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Persistent_a-ACU_RedBlackNode.o -MD -MP -MF ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo" -c -o libACU_Persistent_a-ACU_RedBlackNode.o `test -f 'ACU_RedBlackNode.cc' || echo './'`ACU_RedBlackNode.cc;  then mv -f ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo" ".deps/libACU_Persistent_a-ACU_RedBlackNode.Po"; else rm -f ".deps/libACU_Persistent_a-ACU_RedBlackNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ACU_RedBlackNode.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Persistent_a-ACU_Tree.o -MD -MP -MF ".deps/libACU_Persistent_a-ACU_Tree.Tpo" -c -o libACU_Persistent_a-ACU_Tree.o `test -f 'ACU_Tree.cc' || echo './'`ACU_Tree.cc;  then mv -f ".deps/libACU_Persistent_a-ACU_Tree.Tpo" ".deps/libACU_Persistent_a-ACU_Tree.Po"; else rm -f ".deps/libACU_Persistent_a-ACU_Tree.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ACU_Tree.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libACU_Persistent.a
ar cru libACU_Persistent.a libACU_Persistent_a-ACU_RedBlackNode.o  libACU_Persistent_a-ACU_Tree.o 
ranlib libACU_Persistent.a
Making all in ACU_Theory
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_Symbol.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Symbol.Tpo" -c -o libACU_Theory_a-ACU_Symbol.o `test -f 'ACU_Symbol.cc' || echo './'`ACU_Symbol.cc;  then mv -f ".deps/libACU_Theory_a-ACU_Symbol.Tpo" ".deps/libACU_Theory_a-ACU_Symbol.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Symbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Symbol.hh:28,
                 from ACU_Symbol.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_Term.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Term.Tpo" -c -o libACU_Theory_a-ACU_Term.o `test -f 'ACU_Term.cc' || echo './'`ACU_Term.cc;  then mv -f ".deps/libACU_Theory_a-ACU_Term.Tpo" ".deps/libACU_Theory_a-ACU_Term.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Term.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Term.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_BaseDagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo" -c -o libACU_Theory_a-ACU_BaseDagNode.o `test -f 'ACU_BaseDagNode.cc' || echo './'`ACU_BaseDagNode.cc;  then mv -f ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo" ".deps/libACU_Theory_a-ACU_BaseDagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_BaseDagNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Symbol.hh:28,
                 from ACU_BaseDagNode.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_DagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_DagNode.Tpo" -c -o libACU_Theory_a-ACU_DagNode.o `test -f 'ACU_DagNode.cc' || echo './'`ACU_DagNode.cc;  then mv -f ".deps/libACU_Theory_a-ACU_DagNode.Tpo" ".deps/libACU_Theory_a-ACU_DagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_DagNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ACU_DagNode.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_TreeDagNode.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo" -c -o libACU_Theory_a-ACU_TreeDagNode.o `test -f 'ACU_TreeDagNode.cc' || echo './'`ACU_TreeDagNode.cc;  then mv -f ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo" ".deps/libACU_Theory_a-ACU_TreeDagNode.Po"; else rm -f ".deps/libACU_Theory_a-ACU_TreeDagNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Symbol.hh:28,
                 from ACU_TreeDagNode.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_RhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_RhsAutomaton.o `test -f 'ACU_RhsAutomaton.cc' || echo './'`ACU_RhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_RhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_RhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ACU_RhsAutomaton.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_LhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_LhsAutomaton.o `test -f 'ACU_LhsAutomaton.cc' || echo './'`ACU_LhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_LhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_LhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_LhsAutomaton.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_Subproblem.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_Subproblem.Tpo" -c -o libACU_Theory_a-ACU_Subproblem.o `test -f 'ACU_Subproblem.cc' || echo './'`ACU_Subproblem.cc;  then mv -f ".deps/libACU_Theory_a-ACU_Subproblem.Tpo" ".deps/libACU_Theory_a-ACU_Subproblem.Po"; else rm -f ".deps/libACU_Theory_a-ACU_Subproblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Subproblem.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_ExtensionInfo.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo" -c -o libACU_Theory_a-ACU_ExtensionInfo.o `test -f 'ACU_ExtensionInfo.cc' || echo './'`ACU_ExtensionInfo.cc;  then mv -f ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo" ".deps/libACU_Theory_a-ACU_ExtensionInfo.Po"; else rm -f ".deps/libACU_Theory_a-ACU_ExtensionInfo.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Symbol.hh:28,
                 from ACU_ExtensionInfo.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_CollectorLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_CollectorLhsAutomaton.o `test -f 'ACU_CollectorLhsAutomaton.cc' || echo './'`ACU_CollectorLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_CollectorLhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_CollectorLhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_NGA_LhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_NGA_LhsAutomaton.o `test -f 'ACU_NGA_LhsAutomaton.cc' || echo './'`ACU_NGA_LhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_NGA_LhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_NGA_LhsAutomaton.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_VarLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_VarLhsAutomaton.o `test -f 'ACU_VarLhsAutomaton.cc' || echo './'`ACU_VarLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_VarLhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_VarLhsAutomaton.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_GndLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_GndLhsAutomaton.o `test -f 'ACU_GndLhsAutomaton.cc' || echo './'`ACU_GndLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_GndLhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_GndLhsAutomaton.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_NonLinearLhsAutomaton.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo" -c -o libACU_Theory_a-ACU_NonLinearLhsAutomaton.o `test -f 'ACU_NonLinearLhsAutomaton.cc' || echo './'`ACU_NonLinearLhsAutomaton.cc;  then mv -f ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo" ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Po"; else rm -f ".deps/libACU_Theory_a-ACU_NonLinearLhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_NonLinearLhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_ArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_ArgumentIterator.o `test -f 'ACU_ArgumentIterator.cc' || echo './'`ACU_ArgumentIterator.cc;  then mv -f ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_ArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_ArgumentIterator.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Symbol.hh:28,
                 from ACU_Term.hh:28,
                 from ACU_ArgumentIterator.cc:37:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_DagArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_DagArgumentIterator.o `test -f 'ACU_DagArgumentIterator.cc' || echo './'`ACU_DagArgumentIterator.cc;  then mv -f ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_DagArgumentIterator.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_Symbol.hh:28,
                 from ACU_DagArgumentIterator.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_TreeDagArgumentIterator.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo" -c -o libACU_Theory_a-ACU_TreeDagArgumentIterator.o `test -f 'ACU_TreeDagArgumentIterator.cc' || echo './'`ACU_TreeDagArgumentIterator.cc;  then mv -f ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo" ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Po"; else rm -f ".deps/libACU_Theory_a-ACU_TreeDagArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_LazySubproblem.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo" -c -o libACU_Theory_a-ACU_LazySubproblem.o `test -f 'ACU_LazySubproblem.cc' || echo './'`ACU_LazySubproblem.cc;  then mv -f ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo" ".deps/libACU_Theory_a-ACU_LazySubproblem.Po"; else rm -f ".deps/libACU_Theory_a-ACU_LazySubproblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_LazySubproblem.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/ACU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libACU_Theory_a-ACU_UnificationSubproblem2.o -MD -MP -MF ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo" -c -o libACU_Theory_a-ACU_UnificationSubproblem2.o `test -f 'ACU_UnificationSubproblem2.cc' || echo './'`ACU_UnificationSubproblem2.cc;  then mv -f ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo" ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Po"; else rm -f ".deps/libACU_Theory_a-ACU_UnificationSubproblem2.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from ACU_UnificationSubproblem2.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libACU_Theory.a
ar cru libACU_Theory.a libACU_Theory_a-ACU_Symbol.o  libACU_Theory_a-ACU_Term.o  libACU_Theory_a-ACU_BaseDagNode.o  libACU_Theory_a-ACU_DagNode.o  libACU_Theory_a-ACU_TreeDagNode.o  libACU_Theory_a-ACU_RhsAutomaton.o  libACU_Theory_a-ACU_LhsAutomaton.o  libACU_Theory_a-ACU_Subproblem.o  libACU_Theory_a-ACU_ExtensionInfo.o  libACU_Theory_a-ACU_CollectorLhsAutomaton.o  libACU_Theory_a-ACU_NGA_LhsAutomaton.o  libACU_Theory_a-ACU_VarLhsAutomaton.o  libACU_Theory_a-ACU_GndLhsAutomaton.o  libACU_Theory_a-ACU_NonLinearLhsAutomaton.o  libACU_Theory_a-ACU_ArgumentIterator.o  libACU_Theory_a-ACU_DagArgumentIterator.o  libACU_Theory_a-ACU_TreeDagArgumentIterator.o  libACU_Theory_a-ACU_LazySubproblem.o  libACU_Theory_a-ACU_UnificationSubproblem2.o 
ranlib libACU_Theory.a
Making all in AU_Persistent
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Persistent_a-AU_StackNode.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_StackNode.Tpo" -c -o libAU_Persistent_a-AU_StackNode.o `test -f 'AU_StackNode.cc' || echo './'`AU_StackNode.cc;  then mv -f ".deps/libAU_Persistent_a-AU_StackNode.Tpo" ".deps/libAU_Persistent_a-AU_StackNode.Po"; else rm -f ".deps/libAU_Persistent_a-AU_StackNode.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Persistent_a-AU_Deque.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_Deque.Tpo" -c -o libAU_Persistent_a-AU_Deque.o `test -f 'AU_Deque.cc' || echo './'`AU_Deque.cc;  then mv -f ".deps/libAU_Persistent_a-AU_Deque.Tpo" ".deps/libAU_Persistent_a-AU_Deque.Po"; else rm -f ".deps/libAU_Persistent_a-AU_Deque.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Persistent_a-AU_DequeIter.o -MD -MP -MF ".deps/libAU_Persistent_a-AU_DequeIter.Tpo" -c -o libAU_Persistent_a-AU_DequeIter.o `test -f 'AU_DequeIter.cc' || echo './'`AU_DequeIter.cc;  then mv -f ".deps/libAU_Persistent_a-AU_DequeIter.Tpo" ".deps/libAU_Persistent_a-AU_DequeIter.Po"; else rm -f ".deps/libAU_Persistent_a-AU_DequeIter.Tpo"; exit 1; fi
rm -f libAU_Persistent.a
ar cru libAU_Persistent.a libAU_Persistent_a-AU_StackNode.o  libAU_Persistent_a-AU_Deque.o  libAU_Persistent_a-AU_DequeIter.o 
ranlib libAU_Persistent.a
Making all in AU_Theory
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_Symbol.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Symbol.Tpo" -c -o libAU_Theory_a-AU_Symbol.o `test -f 'AU_Symbol.cc' || echo './'`AU_Symbol.cc;  then mv -f ".deps/libAU_Theory_a-AU_Symbol.Tpo" ".deps/libAU_Theory_a-AU_Symbol.Po"; else rm -f ".deps/libAU_Theory_a-AU_Symbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from AU_Symbol.hh:28,
                 from AU_Symbol.cc:45:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_DagNode.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DagNode.Tpo" -c -o libAU_Theory_a-AU_DagNode.o `test -f 'AU_DagNode.cc' || echo './'`AU_DagNode.cc;  then mv -f ".deps/libAU_Theory_a-AU_DagNode.Tpo" ".deps/libAU_Theory_a-AU_DagNode.Po"; else rm -f ".deps/libAU_Theory_a-AU_DagNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from AU_DagNode.cc:37:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_DequeDagNode.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo" -c -o libAU_Theory_a-AU_DequeDagNode.o `test -f 'AU_DequeDagNode.cc' || echo './'`AU_DequeDagNode.cc;  then mv -f ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo" ".deps/libAU_Theory_a-AU_DequeDagNode.Po"; else rm -f ".deps/libAU_Theory_a-AU_DequeDagNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from AU_DequeDagNode.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_Term.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Term.Tpo" -c -o libAU_Theory_a-AU_Term.o `test -f 'AU_Term.cc' || echo './'`AU_Term.cc;  then mv -f ".deps/libAU_Theory_a-AU_Term.Tpo" ".deps/libAU_Theory_a-AU_Term.Po"; else rm -f ".deps/libAU_Theory_a-AU_Term.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from AU_Term.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_DagArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_DagArgumentIterator.o `test -f 'AU_DagArgumentIterator.cc' || echo './'`AU_DagArgumentIterator.cc;  then mv -f ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_DagArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_DagArgumentIterator.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from AU_Symbol.hh:28,
                 from AU_DagArgumentIterator.cc:37:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_DequeDagArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_DequeDagArgumentIterator.o `test -f 'AU_DequeDagArgumentIterator.cc' || echo './'`AU_DequeDagArgumentIterator.cc;  then mv -f ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_DequeDagArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_ExtensionInfo.o -MD -MP -MF ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo" -c -o libAU_Theory_a-AU_ExtensionInfo.o `test -f 'AU_ExtensionInfo.cc' || echo './'`AU_ExtensionInfo.cc;  then mv -f ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo" ".deps/libAU_Theory_a-AU_ExtensionInfo.Po"; else rm -f ".deps/libAU_Theory_a-AU_ExtensionInfo.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from AU_Symbol.hh:28,
                 from AU_ExtensionInfo.cc:37:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_RhsAutomaton.o -MD -MP -MF ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo" -c -o libAU_Theory_a-AU_RhsAutomaton.o `test -f 'AU_RhsAutomaton.cc' || echo './'`AU_RhsAutomaton.cc;  then mv -f ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo" ".deps/libAU_Theory_a-AU_RhsAutomaton.Po"; else rm -f ".deps/libAU_Theory_a-AU_RhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from AU_RhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_LhsAutomaton.o -MD -MP -MF ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo" -c -o libAU_Theory_a-AU_LhsAutomaton.o `test -f 'AU_LhsAutomaton.cc' || echo './'`AU_LhsAutomaton.cc;  then mv -f ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo" ".deps/libAU_Theory_a-AU_LhsAutomaton.Po"; else rm -f ".deps/libAU_Theory_a-AU_LhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from AU_LhsAutomaton.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_ArgumentIterator.o -MD -MP -MF ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo" -c -o libAU_Theory_a-AU_ArgumentIterator.o `test -f 'AU_ArgumentIterator.cc' || echo './'`AU_ArgumentIterator.cc;  then mv -f ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo" ".deps/libAU_Theory_a-AU_ArgumentIterator.Po"; else rm -f ".deps/libAU_Theory_a-AU_ArgumentIterator.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from AU_Term.hh:28,
                 from AU_ArgumentIterator.hh:29,
                 from AU_ArgumentIterator.cc:37:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_Layer.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Layer.Tpo" -c -o libAU_Theory_a-AU_Layer.o `test -f 'AU_Layer.cc' || echo './'`AU_Layer.cc;  then mv -f ".deps/libAU_Theory_a-AU_Layer.Tpo" ".deps/libAU_Theory_a-AU_Layer.Po"; else rm -f ".deps/libAU_Theory_a-AU_Layer.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from AU_Layer.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/AU_Persistent  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libAU_Theory_a-AU_Subproblem.o -MD -MP -MF ".deps/libAU_Theory_a-AU_Subproblem.Tpo" -c -o libAU_Theory_a-AU_Subproblem.o `test -f 'AU_Subproblem.cc' || echo './'`AU_Subproblem.cc;  then mv -f ".deps/libAU_Theory_a-AU_Subproblem.Tpo" ".deps/libAU_Theory_a-AU_Subproblem.Po"; else rm -f ".deps/libAU_Theory_a-AU_Subproblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from ../../src/Interface/associativeSymbol.hh:28,
                 from AU_Symbol.hh:28,
                 from AU_Subproblem.cc:45:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libAU_Theory.a
ar cru libAU_Theory.a libAU_Theory_a-AU_Symbol.o  libAU_Theory_a-AU_DagNode.o  libAU_Theory_a-AU_DequeDagNode.o  libAU_Theory_a-AU_Term.o  libAU_Theory_a-AU_DagArgumentIterator.o  libAU_Theory_a-AU_DequeDagArgumentIterator.o  libAU_Theory_a-AU_ExtensionInfo.o  libAU_Theory_a-AU_RhsAutomaton.o  libAU_Theory_a-AU_LhsAutomaton.o  libAU_Theory_a-AU_ArgumentIterator.o  libAU_Theory_a-AU_Layer.o  libAU_Theory_a-AU_Subproblem.o 
ranlib libAU_Theory.a
Making all in CUI_Theory
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_Symbol.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_Symbol.Tpo" -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo './'`CUI_Symbol.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_Symbol.Tpo" ".deps/libCUI_Theory_a-CUI_Symbol.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_Symbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from CUI_Symbol.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_DagNode.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_DagNode.Tpo" -c -o libCUI_Theory_a-CUI_DagNode.o `test -f 'CUI_DagNode.cc' || echo './'`CUI_DagNode.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_DagNode.Tpo" ".deps/libCUI_Theory_a-CUI_DagNode.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_DagNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from CUI_DagNode.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_DagArgumentIterator.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo" -c -o libCUI_Theory_a-CUI_DagArgumentIterator.o `test -f 'CUI_DagArgumentIterator.cc' || echo './'`CUI_DagArgumentIterator.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo" ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_DagArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_RhsAutomaton.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo" -c -o libCUI_Theory_a-CUI_RhsAutomaton.o `test -f 'CUI_RhsAutomaton.cc' || echo './'`CUI_RhsAutomaton.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo" ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_RhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from CUI_RhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_Term.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_Term.Tpo" -c -o libCUI_Theory_a-CUI_Term.o `test -f 'CUI_Term.cc' || echo './'`CUI_Term.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_Term.Tpo" ".deps/libCUI_Theory_a-CUI_Term.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_Term.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from CUI_Term.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_ArgumentIterator.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo" -c -o libCUI_Theory_a-CUI_ArgumentIterator.o `test -f 'CUI_ArgumentIterator.cc' || echo './'`CUI_ArgumentIterator.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo" ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_ArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_UnificationSubproblem.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo" -c -o libCUI_Theory_a-CUI_UnificationSubproblem.o `test -f 'CUI_UnificationSubproblem.cc' || echo './'`CUI_UnificationSubproblem.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo" ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_UnificationSubproblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from CUI_UnificationSubproblem.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libCUI_Theory_a-CUI_LhsAutomaton.o -MD -MP -MF ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo" -c -o libCUI_Theory_a-CUI_LhsAutomaton.o `test -f 'CUI_LhsAutomaton.cc' || echo './'`CUI_LhsAutomaton.cc;  then mv -f ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo" ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Po"; else rm -f ".deps/libCUI_Theory_a-CUI_LhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Interface/binarySymbol.hh:33,
                 from CUI_LhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libCUI_Theory.a
ar cru libCUI_Theory.a libCUI_Theory_a-CUI_Symbol.o  libCUI_Theory_a-CUI_DagNode.o  libCUI_Theory_a-CUI_DagArgumentIterator.o  libCUI_Theory_a-CUI_RhsAutomaton.o  libCUI_Theory_a-CUI_Term.o  libCUI_Theory_a-CUI_ArgumentIterator.o  libCUI_Theory_a-CUI_UnificationSubproblem.o  libCUI_Theory_a-CUI_LhsAutomaton.o 
ranlib libCUI_Theory.a
Making all in S_Theory
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_Symbol.o -MD -MP -MF ".deps/libS_Theory_a-S_Symbol.Tpo" -c -o libS_Theory_a-S_Symbol.o `test -f 'S_Symbol.cc' || echo './'`S_Symbol.cc;  then mv -f ".deps/libS_Theory_a-S_Symbol.Tpo" ".deps/libS_Theory_a-S_Symbol.Po"; else rm -f ".deps/libS_Theory_a-S_Symbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from S_Term.hh:29,
                 from S_Symbol.cc:44:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_DagNode.o -MD -MP -MF ".deps/libS_Theory_a-S_DagNode.Tpo" -c -o libS_Theory_a-S_DagNode.o `test -f 'S_DagNode.cc' || echo './'`S_DagNode.cc;  then mv -f ".deps/libS_Theory_a-S_DagNode.Tpo" ".deps/libS_Theory_a-S_DagNode.Po"; else rm -f ".deps/libS_Theory_a-S_DagNode.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from S_DagNode.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_Term.o -MD -MP -MF ".deps/libS_Theory_a-S_Term.Tpo" -c -o libS_Theory_a-S_Term.o `test -f 'S_Term.cc' || echo './'`S_Term.cc;  then mv -f ".deps/libS_Theory_a-S_Term.Tpo" ".deps/libS_Theory_a-S_Term.Po"; else rm -f ".deps/libS_Theory_a-S_Term.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from S_Term.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_ExtensionInfo.o -MD -MP -MF ".deps/libS_Theory_a-S_ExtensionInfo.Tpo" -c -o libS_Theory_a-S_ExtensionInfo.o `test -f 'S_ExtensionInfo.cc' || echo './'`S_ExtensionInfo.cc;  then mv -f ".deps/libS_Theory_a-S_ExtensionInfo.Tpo" ".deps/libS_Theory_a-S_ExtensionInfo.Po"; else rm -f ".deps/libS_Theory_a-S_ExtensionInfo.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_DagArgumentIterator.o -MD -MP -MF ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo" -c -o libS_Theory_a-S_DagArgumentIterator.o `test -f 'S_DagArgumentIterator.cc' || echo './'`S_DagArgumentIterator.cc;  then mv -f ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo" ".deps/libS_Theory_a-S_DagArgumentIterator.Po"; else rm -f ".deps/libS_Theory_a-S_DagArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_ArgumentIterator.o -MD -MP -MF ".deps/libS_Theory_a-S_ArgumentIterator.Tpo" -c -o libS_Theory_a-S_ArgumentIterator.o `test -f 'S_ArgumentIterator.cc' || echo './'`S_ArgumentIterator.cc;  then mv -f ".deps/libS_Theory_a-S_ArgumentIterator.Tpo" ".deps/libS_Theory_a-S_ArgumentIterator.Po"; else rm -f ".deps/libS_Theory_a-S_ArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_LhsAutomaton.o -MD -MP -MF ".deps/libS_Theory_a-S_LhsAutomaton.Tpo" -c -o libS_Theory_a-S_LhsAutomaton.o `test -f 'S_LhsAutomaton.cc' || echo './'`S_LhsAutomaton.cc;  then mv -f ".deps/libS_Theory_a-S_LhsAutomaton.Tpo" ".deps/libS_Theory_a-S_LhsAutomaton.Po"; else rm -f ".deps/libS_Theory_a-S_LhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from S_LhsAutomaton.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_RhsAutomaton.o -MD -MP -MF ".deps/libS_Theory_a-S_RhsAutomaton.Tpo" -c -o libS_Theory_a-S_RhsAutomaton.o `test -f 'S_RhsAutomaton.cc' || echo './'`S_RhsAutomaton.cc;  then mv -f ".deps/libS_Theory_a-S_RhsAutomaton.Tpo" ".deps/libS_Theory_a-S_RhsAutomaton.Po"; else rm -f ".deps/libS_Theory_a-S_RhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from S_RhsAutomaton.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libS_Theory_a-S_Subproblem.o -MD -MP -MF ".deps/libS_Theory_a-S_Subproblem.Tpo" -c -o libS_Theory_a-S_Subproblem.o `test -f 'S_Subproblem.cc' || echo './'`S_Subproblem.cc;  then mv -f ".deps/libS_Theory_a-S_Subproblem.Tpo" ".deps/libS_Theory_a-S_Subproblem.Po"; else rm -f ".deps/libS_Theory_a-S_Subproblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from S_Subproblem.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libS_Theory.a
ar cru libS_Theory.a libS_Theory_a-S_Symbol.o  libS_Theory_a-S_DagNode.o  libS_Theory_a-S_Term.o  libS_Theory_a-S_ExtensionInfo.o  libS_Theory_a-S_DagArgumentIterator.o  libS_Theory_a-S_ArgumentIterator.o  libS_Theory_a-S_LhsAutomaton.o  libS_Theory_a-S_RhsAutomaton.o  libS_Theory_a-S_Subproblem.o 
ranlib libS_Theory.a
Making all in FreeTheory
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeSymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeSymbol.Tpo" -c -o libfreeTheory_a-freeSymbol.o `test -f 'freeSymbol.cc' || echo './'`freeSymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeSymbol.Tpo" ".deps/libfreeTheory_a-freeSymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from freeSymbol.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeUnarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeUnarySymbol.Tpo" -c -o libfreeTheory_a-freeUnarySymbol.o `test -f 'freeUnarySymbol.cc' || echo './'`freeUnarySymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeUnarySymbol.Tpo" ".deps/libfreeTheory_a-freeUnarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeUnarySymbol.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeBinarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeBinarySymbol.Tpo" -c -o libfreeTheory_a-freeBinarySymbol.o `test -f 'freeBinarySymbol.cc' || echo './'`freeBinarySymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeBinarySymbol.Tpo" ".deps/libfreeTheory_a-freeBinarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeBinarySymbol.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeTernarySymbol.o -MD -MP -MF ".deps/libfreeTheory_a-freeTernarySymbol.Tpo" -c -o libfreeTheory_a-freeTernarySymbol.o `test -f 'freeTernarySymbol.cc' || echo './'`freeTernarySymbol.cc;  then mv -f ".deps/libfreeTheory_a-freeTernarySymbol.Tpo" ".deps/libfreeTheory_a-freeTernarySymbol.Po"; else rm -f ".deps/libfreeTheory_a-freeTernarySymbol.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeTerm.o -MD -MP -MF ".deps/libfreeTheory_a-freeTerm.Tpo" -c -o libfreeTheory_a-freeTerm.o `test -f 'freeTerm.cc' || echo './'`freeTerm.cc;  then mv -f ".deps/libfreeTheory_a-freeTerm.Tpo" ".deps/libfreeTheory_a-freeTerm.Po"; else rm -f ".deps/libfreeTheory_a-freeTerm.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from freeTerm.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeArgumentIterator.o -MD -MP -MF ".deps/libfreeTheory_a-freeArgumentIterator.Tpo" -c -o libfreeTheory_a-freeArgumentIterator.o `test -f 'freeArgumentIterator.cc' || echo './'`freeArgumentIterator.cc;  then mv -f ".deps/libfreeTheory_a-freeArgumentIterator.Tpo" ".deps/libfreeTheory_a-freeArgumentIterator.Po"; else rm -f ".deps/libfreeTheory_a-freeArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeDagNode.o -MD -MP -MF ".deps/libfreeTheory_a-freeDagNode.Tpo" -c -o libfreeTheory_a-freeDagNode.o `test -f 'freeDagNode.cc' || echo './'`freeDagNode.cc;  then mv -f ".deps/libfreeTheory_a-freeDagNode.Tpo" ".deps/libfreeTheory_a-freeDagNode.Po"; else rm -f ".deps/libfreeTheory_a-freeDagNode.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeDagArgumentIterator.o -MD -MP -MF ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo" -c -o libfreeTheory_a-freeDagArgumentIterator.o `test -f 'freeDagArgumentIterator.cc' || echo './'`freeDagArgumentIterator.cc;  then mv -f ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo" ".deps/libfreeTheory_a-freeDagArgumentIterator.Po"; else rm -f ".deps/libfreeTheory_a-freeDagArgumentIterator.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeLhsAutomaton.o -MD -MP -MF ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo" -c -o libfreeTheory_a-freeLhsAutomaton.o `test -f 'freeLhsAutomaton.cc' || echo './'`freeLhsAutomaton.cc;  then mv -f ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo" ".deps/libfreeTheory_a-freeLhsAutomaton.Po"; else rm -f ".deps/libfreeTheory_a-freeLhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from freeLhsAutomaton.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeRhsAutomaton.o -MD -MP -MF ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo" -c -o libfreeTheory_a-freeRhsAutomaton.o `test -f 'freeRhsAutomaton.cc' || echo './'`freeRhsAutomaton.cc;  then mv -f ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo" ".deps/libfreeTheory_a-freeRhsAutomaton.Po"; else rm -f ".deps/libfreeTheory_a-freeRhsAutomaton.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from freeRhsAutomaton.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeNet.o -MD -MP -MF ".deps/libfreeTheory_a-freeNet.Tpo" -c -o libfreeTheory_a-freeNet.o `test -f 'freeNet.cc' || echo './'`freeNet.cc;  then mv -f ".deps/libfreeTheory_a-freeNet.Tpo" ".deps/libfreeTheory_a-freeNet.Po"; else rm -f ".deps/libfreeTheory_a-freeNet.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from freeNet.cc:45:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freePreNet.o -MD -MP -MF ".deps/libfreeTheory_a-freePreNet.Tpo" -c -o libfreeTheory_a-freePreNet.o `test -f 'freePreNet.cc' || echo './'`freePreNet.cc;  then mv -f ".deps/libfreeTheory_a-freePreNet.Tpo" ".deps/libfreeTheory_a-freePreNet.Po"; else rm -f ".deps/libfreeTheory_a-freePreNet.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from freePreNet.cc:45:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freeRemainder.o -MD -MP -MF ".deps/libfreeTheory_a-freeRemainder.Tpo" -c -o libfreeTheory_a-freeRemainder.o `test -f 'freeRemainder.cc' || echo './'`freeRemainder.cc;  then mv -f ".deps/libfreeTheory_a-freeRemainder.Tpo" ".deps/libfreeTheory_a-freeRemainder.Po"; else rm -f ".deps/libfreeTheory_a-freeRemainder.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from freeRemainder.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libfreeTheory_a-freePositionTable.o -MD -MP -MF ".deps/libfreeTheory_a-freePositionTable.Tpo" -c -o libfreeTheory_a-freePositionTable.o `test -f 'freePositionTable.cc' || echo './'`freePositionTable.cc;  then mv -f ".deps/libfreeTheory_a-freePositionTable.Tpo" ".deps/libfreeTheory_a-freePositionTable.Po"; else rm -f ".deps/libfreeTheory_a-freePositionTable.Tpo"; exit 1; fi
rm -f libfreeTheory.a
ar cru libfreeTheory.a libfreeTheory_a-freeSymbol.o  libfreeTheory_a-freeUnarySymbol.o  libfreeTheory_a-freeBinarySymbol.o  libfreeTheory_a-freeTernarySymbol.o  libfreeTheory_a-freeTerm.o  libfreeTheory_a-freeArgumentIterator.o  libfreeTheory_a-freeDagNode.o  libfreeTheory_a-freeDagArgumentIterator.o  libfreeTheory_a-freeLhsAutomaton.o  libfreeTheory_a-freeRhsAutomaton.o  libfreeTheory_a-freeNet.o  libfreeTheory_a-freePreNet.o  libfreeTheory_a-freeRemainder.o  libfreeTheory_a-freePositionTable.o 
ranlib libfreeTheory.a
Making all in Higher
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-rewriteSearchState.o -MD -MP -MF ".deps/libhigher_a-rewriteSearchState.Tpo" -c -o libhigher_a-rewriteSearchState.o `test -f 'rewriteSearchState.cc' || echo './'`rewriteSearchState.cc;  then mv -f ".deps/libhigher_a-rewriteSearchState.Tpo" ".deps/libhigher_a-rewriteSearchState.Po"; else rm -f ".deps/libhigher_a-rewriteSearchState.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from ../../src/Core/rule.hh:28,
                 from rewriteSearchState.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-matchSearchState.o -MD -MP -MF ".deps/libhigher_a-matchSearchState.Tpo" -c -o libhigher_a-matchSearchState.o `test -f 'matchSearchState.cc' || echo './'`matchSearchState.cc;  then mv -f ".deps/libhigher_a-matchSearchState.Tpo" ".deps/libhigher_a-matchSearchState.Po"; else rm -f ".deps/libhigher_a-matchSearchState.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from pattern.hh:28,
                 from matchSearchState.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-positionState.o -MD -MP -MF ".deps/libhigher_a-positionState.Tpo" -c -o libhigher_a-positionState.o `test -f 'positionState.cc' || echo './'`positionState.cc;  then mv -f ".deps/libhigher_a-positionState.Tpo" ".deps/libhigher_a-positionState.Po"; else rm -f ".deps/libhigher_a-positionState.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-pattern.o -MD -MP -MF ".deps/libhigher_a-pattern.Tpo" -c -o libhigher_a-pattern.o `test -f 'pattern.cc' || echo './'`pattern.cc;  then mv -f ".deps/libhigher_a-pattern.Tpo" ".deps/libhigher_a-pattern.Po"; else rm -f ".deps/libhigher_a-pattern.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from pattern.cc:36:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-searchState.o -MD -MP -MF ".deps/libhigher_a-searchState.Tpo" -c -o libhigher_a-searchState.o `test -f 'searchState.cc' || echo './'`searchState.cc;  then mv -f ".deps/libhigher_a-searchState.Tpo" ".deps/libhigher_a-searchState.Po"; else rm -f ".deps/libhigher_a-searchState.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from searchState.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-rewriteSequenceSearch.o -MD -MP -MF ".deps/libhigher_a-rewriteSequenceSearch.Tpo" -c -o libhigher_a-rewriteSequenceSearch.o `test -f 'rewriteSequenceSearch.cc' || echo './'`rewriteSequenceSearch.cc;  then mv -f ".deps/libhigher_a-rewriteSequenceSearch.Tpo" ".deps/libhigher_a-rewriteSequenceSearch.Po"; else rm -f ".deps/libhigher_a-rewriteSequenceSearch.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from pattern.hh:28,
                 from rewriteSequenceSearch.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-modelCheckerSymbol.o -MD -MP -MF ".deps/libhigher_a-modelCheckerSymbol.Tpo" -c -o libhigher_a-modelCheckerSymbol.o `test -f 'modelCheckerSymbol.cc' || echo './'`modelCheckerSymbol.cc;  then mv -f ".deps/libhigher_a-modelCheckerSymbol.Tpo" ".deps/libhigher_a-modelCheckerSymbol.Po"; else rm -f ".deps/libhigher_a-modelCheckerSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from modelCheckerSymbol.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
In file included from temporalSymbol.hh:29,
                 from modelCheckerSymbol.hh:28,
                 from modelCheckerSymbol.cc:65:
../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-stateTransitionGraph.o -MD -MP -MF ".deps/libhigher_a-stateTransitionGraph.Tpo" -c -o libhigher_a-stateTransitionGraph.o `test -f 'stateTransitionGraph.cc' || echo './'`stateTransitionGraph.cc;  then mv -f ".deps/libhigher_a-stateTransitionGraph.Tpo" ".deps/libhigher_a-stateTransitionGraph.Po"; else rm -f ".deps/libhigher_a-stateTransitionGraph.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-rewriteConditionFragment.o -MD -MP -MF ".deps/libhigher_a-rewriteConditionFragment.Tpo" -c -o libhigher_a-rewriteConditionFragment.o `test -f 'rewriteConditionFragment.cc' || echo './'`rewriteConditionFragment.cc;  then mv -f ".deps/libhigher_a-rewriteConditionFragment.Tpo" ".deps/libhigher_a-rewriteConditionFragment.Po"; else rm -f ".deps/libhigher_a-rewriteConditionFragment.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from rewriteConditionFragment.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-assignmentConditionFragment.o -MD -MP -MF ".deps/libhigher_a-assignmentConditionFragment.Tpo" -c -o libhigher_a-assignmentConditionFragment.o `test -f 'assignmentConditionFragment.cc' || echo './'`assignmentConditionFragment.cc;  then mv -f ".deps/libhigher_a-assignmentConditionFragment.Tpo" ".deps/libhigher_a-assignmentConditionFragment.Po"; else rm -f ".deps/libhigher_a-assignmentConditionFragment.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from assignmentConditionFragment.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-sortTestConditionFragment.o -MD -MP -MF ".deps/libhigher_a-sortTestConditionFragment.Tpo" -c -o libhigher_a-sortTestConditionFragment.o `test -f 'sortTestConditionFragment.cc' || echo './'`sortTestConditionFragment.cc;  then mv -f ".deps/libhigher_a-sortTestConditionFragment.Tpo" ".deps/libhigher_a-sortTestConditionFragment.Po"; else rm -f ".deps/libhigher_a-sortTestConditionFragment.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from sortTestConditionFragment.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-equalityConditionFragment.o -MD -MP -MF ".deps/libhigher_a-equalityConditionFragment.Tpo" -c -o libhigher_a-equalityConditionFragment.o `test -f 'equalityConditionFragment.cc' || echo './'`equalityConditionFragment.cc;  then mv -f ".deps/libhigher_a-equalityConditionFragment.Tpo" ".deps/libhigher_a-equalityConditionFragment.Po"; else rm -f ".deps/libhigher_a-equalityConditionFragment.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from equalityConditionFragment.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-assignmentConditionState.o -MD -MP -MF ".deps/libhigher_a-assignmentConditionState.Tpo" -c -o libhigher_a-assignmentConditionState.o `test -f 'assignmentConditionState.cc' || echo './'`assignmentConditionState.cc;  then mv -f ".deps/libhigher_a-assignmentConditionState.Tpo" ".deps/libhigher_a-assignmentConditionState.Po"; else rm -f ".deps/libhigher_a-assignmentConditionState.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from assignmentConditionState.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-rewriteConditionState.o -MD -MP -MF ".deps/libhigher_a-rewriteConditionState.Tpo" -c -o libhigher_a-rewriteConditionState.o `test -f 'rewriteConditionState.cc' || echo './'`rewriteConditionState.cc;  then mv -f ".deps/libhigher_a-rewriteConditionState.Tpo" ".deps/libhigher_a-rewriteConditionState.Po"; else rm -f ".deps/libhigher_a-rewriteConditionState.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from rewriteConditionState.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-temporalSymbol.o -MD -MP -MF ".deps/libhigher_a-temporalSymbol.Tpo" -c -o libhigher_a-temporalSymbol.o `test -f 'temporalSymbol.cc' || echo './'`temporalSymbol.cc;  then mv -f ".deps/libhigher_a-temporalSymbol.Tpo" ".deps/libhigher_a-temporalSymbol.Po"; else rm -f ".deps/libhigher_a-temporalSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from temporalSymbol.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
In file included from temporalSymbol.hh:29,
                 from temporalSymbol.cc:59:
../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-satSolverSymbol.o -MD -MP -MF ".deps/libhigher_a-satSolverSymbol.Tpo" -c -o libhigher_a-satSolverSymbol.o `test -f 'satSolverSymbol.cc' || echo './'`satSolverSymbol.cc;  then mv -f ".deps/libhigher_a-satSolverSymbol.Tpo" ".deps/libhigher_a-satSolverSymbol.Po"; else rm -f ".deps/libhigher_a-satSolverSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from satSolverSymbol.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
In file included from temporalSymbol.hh:29,
                 from satSolverSymbol.hh:28,
                 from satSolverSymbol.cc:62:
../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-unificationProblem.o -MD -MP -MF ".deps/libhigher_a-unificationProblem.Tpo" -c -o libhigher_a-unificationProblem.o `test -f 'unificationProblem.cc' || echo './'`unificationProblem.cc;  then mv -f ".deps/libhigher_a-unificationProblem.Tpo" ".deps/libhigher_a-unificationProblem.Po"; else rm -f ".deps/libhigher_a-unificationProblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from unificationProblem.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-narrowingSearchState.o -MD -MP -MF ".deps/libhigher_a-narrowingSearchState.Tpo" -c -o libhigher_a-narrowingSearchState.o `test -f 'narrowingSearchState.cc' || echo './'`narrowingSearchState.cc;  then mv -f ".deps/libhigher_a-narrowingSearchState.Tpo" ".deps/libhigher_a-narrowingSearchState.Po"; else rm -f ".deps/libhigher_a-narrowingSearchState.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from ../../src/Core/rule.hh:28,
                 from narrowingSearchState.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-narrowingUnificationProblem.o -MD -MP -MF ".deps/libhigher_a-narrowingUnificationProblem.Tpo" -c -o libhigher_a-narrowingUnificationProblem.o `test -f 'narrowingUnificationProblem.cc' || echo './'`narrowingUnificationProblem.cc;  then mv -f ".deps/libhigher_a-narrowingUnificationProblem.Tpo" ".deps/libhigher_a-narrowingUnificationProblem.Po"; else rm -f ".deps/libhigher_a-narrowingUnificationProblem.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from ../../src/Core/rule.hh:28,
                 from narrowingUnificationProblem.cc:49:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Temporal  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/BuiltIn  -I../../src/Mixfix -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libhigher_a-narrowingSequenceSearch.o -MD -MP -MF ".deps/libhigher_a-narrowingSequenceSearch.Tpo" -c -o libhigher_a-narrowingSequenceSearch.o `test -f 'narrowingSequenceSearch.cc' || echo './'`narrowingSequenceSearch.cc;  then mv -f ".deps/libhigher_a-narrowingSequenceSearch.Tpo" ".deps/libhigher_a-narrowingSequenceSearch.Po"; else rm -f ".deps/libhigher_a-narrowingSequenceSearch.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from pattern.hh:28,
                 from narrowingSequenceSearch.cc:47:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
In file included from ../../src/Core/protectedDagNodeSet.hh:28,
                 from narrowingSequenceSearch.hh:30,
                 from narrowingSequenceSearch.cc:49:
../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libhigher.a
ar cru libhigher.a libhigher_a-rewriteSearchState.o  libhigher_a-matchSearchState.o  libhigher_a-positionState.o  libhigher_a-pattern.o  libhigher_a-searchState.o  libhigher_a-rewriteSequenceSearch.o  libhigher_a-modelCheckerSymbol.o  libhigher_a-stateTransitionGraph.o  libhigher_a-rewriteConditionFragment.o  libhigher_a-assignmentConditionFragment.o  libhigher_a-sortTestConditionFragment.o  libhigher_a-equalityConditionFragment.o  libhigher_a-assignmentConditionState.o  libhigher_a-rewriteConditionState.o  libhigher_a-temporalSymbol.o  libhigher_a-satSolverSymbol.o  libhigher_a-unificationProblem.o  libhigher_a-narrowingSearchState.o  libhigher_a-narrowingUnificationProblem.o  libhigher_a-narrowingSequenceSearch.o 
ranlib libhigher.a
Making all in BuiltIn
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-equalitySymbol.o -MD -MP -MF ".deps/libbuiltIn_a-equalitySymbol.Tpo" -c -o libbuiltIn_a-equalitySymbol.o `test -f 'equalitySymbol.cc' || echo './'`equalitySymbol.cc;  then mv -f ".deps/libbuiltIn_a-equalitySymbol.Tpo" ".deps/libbuiltIn_a-equalitySymbol.Po"; else rm -f ".deps/libbuiltIn_a-equalitySymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from equalitySymbol.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-sortTestSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-sortTestSymbol.Tpo" -c -o libbuiltIn_a-sortTestSymbol.o `test -f 'sortTestSymbol.cc' || echo './'`sortTestSymbol.cc;  then mv -f ".deps/libbuiltIn_a-sortTestSymbol.Tpo" ".deps/libbuiltIn_a-sortTestSymbol.Po"; else rm -f ".deps/libbuiltIn_a-sortTestSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from sortTestSymbol.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-branchSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-branchSymbol.Tpo" -c -o libbuiltIn_a-branchSymbol.o `test -f 'branchSymbol.cc' || echo './'`branchSymbol.cc;  then mv -f ".deps/libbuiltIn_a-branchSymbol.Tpo" ".deps/libbuiltIn_a-branchSymbol.Po"; else rm -f ".deps/libbuiltIn_a-branchSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from branchSymbol.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-stringSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-stringSymbol.Tpo" -c -o libbuiltIn_a-stringSymbol.o `test -f 'stringSymbol.cc' || echo './'`stringSymbol.cc;  then mv -f ".deps/libbuiltIn_a-stringSymbol.Tpo" ".deps/libbuiltIn_a-stringSymbol.Po"; else rm -f ".deps/libbuiltIn_a-stringSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from stringSymbol.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-stringTerm.o -MD -MP -MF ".deps/libbuiltIn_a-stringTerm.Tpo" -c -o libbuiltIn_a-stringTerm.o `test -f 'stringTerm.cc' || echo './'`stringTerm.cc;  then mv -f ".deps/libbuiltIn_a-stringTerm.Tpo" ".deps/libbuiltIn_a-stringTerm.Po"; else rm -f ".deps/libbuiltIn_a-stringTerm.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from stringTerm.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-stringDagNode.o -MD -MP -MF ".deps/libbuiltIn_a-stringDagNode.Tpo" -c -o libbuiltIn_a-stringDagNode.o `test -f 'stringDagNode.cc' || echo './'`stringDagNode.cc;  then mv -f ".deps/libbuiltIn_a-stringDagNode.Tpo" ".deps/libbuiltIn_a-stringDagNode.Po"; else rm -f ".deps/libbuiltIn_a-stringDagNode.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-stringOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-stringOpSymbol.Tpo" -c -o libbuiltIn_a-stringOpSymbol.o `test -f 'stringOpSymbol.cc' || echo './'`stringOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-stringOpSymbol.Tpo" ".deps/libbuiltIn_a-stringOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-stringOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from stringOpSymbol.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-floatSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-floatSymbol.Tpo" -c -o libbuiltIn_a-floatSymbol.o `test -f 'floatSymbol.cc' || echo './'`floatSymbol.cc;  then mv -f ".deps/libbuiltIn_a-floatSymbol.Tpo" ".deps/libbuiltIn_a-floatSymbol.Po"; else rm -f ".deps/libbuiltIn_a-floatSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from floatSymbol.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-floatTerm.o -MD -MP -MF ".deps/libbuiltIn_a-floatTerm.Tpo" -c -o libbuiltIn_a-floatTerm.o `test -f 'floatTerm.cc' || echo './'`floatTerm.cc;  then mv -f ".deps/libbuiltIn_a-floatTerm.Tpo" ".deps/libbuiltIn_a-floatTerm.Po"; else rm -f ".deps/libbuiltIn_a-floatTerm.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from floatTerm.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-floatDagNode.o -MD -MP -MF ".deps/libbuiltIn_a-floatDagNode.Tpo" -c -o libbuiltIn_a-floatDagNode.o `test -f 'floatDagNode.cc' || echo './'`floatDagNode.cc;  then mv -f ".deps/libbuiltIn_a-floatDagNode.Tpo" ".deps/libbuiltIn_a-floatDagNode.Po"; else rm -f ".deps/libbuiltIn_a-floatDagNode.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-floatOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-floatOpSymbol.Tpo" -c -o libbuiltIn_a-floatOpSymbol.o `test -f 'floatOpSymbol.cc' || echo './'`floatOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-floatOpSymbol.Tpo" ".deps/libbuiltIn_a-floatOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-floatOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from floatOpSymbol.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-succSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-succSymbol.Tpo" -c -o libbuiltIn_a-succSymbol.o `test -f 'succSymbol.cc' || echo './'`succSymbol.cc;  then mv -f ".deps/libbuiltIn_a-succSymbol.Tpo" ".deps/libbuiltIn_a-succSymbol.Po"; else rm -f ".deps/libbuiltIn_a-succSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from succSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-numberOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-numberOpSymbol.Tpo" -c -o libbuiltIn_a-numberOpSymbol.o `test -f 'numberOpSymbol.cc' || echo './'`numberOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-numberOpSymbol.Tpo" ".deps/libbuiltIn_a-numberOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-numberOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from numberOpSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-minusSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-minusSymbol.Tpo" -c -o libbuiltIn_a-minusSymbol.o `test -f 'minusSymbol.cc' || echo './'`minusSymbol.cc;  then mv -f ".deps/libbuiltIn_a-minusSymbol.Tpo" ".deps/libbuiltIn_a-minusSymbol.Po"; else rm -f ".deps/libbuiltIn_a-minusSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from minusSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-ACU_NumberOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-ACU_NumberOpSymbol.Tpo" -c -o libbuiltIn_a-ACU_NumberOpSymbol.o `test -f 'ACU_NumberOpSymbol.cc' || echo './'`ACU_NumberOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-ACU_NumberOpSymbol.Tpo" ".deps/libbuiltIn_a-ACU_NumberOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-ACU_NumberOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ACU_NumberOpSymbol.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-CUI_NumberOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-CUI_NumberOpSymbol.Tpo" -c -o libbuiltIn_a-CUI_NumberOpSymbol.o `test -f 'CUI_NumberOpSymbol.cc' || echo './'`CUI_NumberOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-CUI_NumberOpSymbol.Tpo" ".deps/libbuiltIn_a-CUI_NumberOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-CUI_NumberOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from CUI_NumberOpSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-divisionSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-divisionSymbol.Tpo" -c -o libbuiltIn_a-divisionSymbol.o `test -f 'divisionSymbol.cc' || echo './'`divisionSymbol.cc;  then mv -f ".deps/libbuiltIn_a-divisionSymbol.Tpo" ".deps/libbuiltIn_a-divisionSymbol.Po"; else rm -f ".deps/libbuiltIn_a-divisionSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from divisionSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-randomOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-randomOpSymbol.Tpo" -c -o libbuiltIn_a-randomOpSymbol.o `test -f 'randomOpSymbol.cc' || echo './'`randomOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-randomOpSymbol.Tpo" ".deps/libbuiltIn_a-randomOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-randomOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from randomOpSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-counterSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-counterSymbol.Tpo" -c -o libbuiltIn_a-counterSymbol.o `test -f 'counterSymbol.cc' || echo './'`counterSymbol.cc;  then mv -f ".deps/libbuiltIn_a-counterSymbol.Tpo" ".deps/libbuiltIn_a-counterSymbol.Po"; else rm -f ".deps/libbuiltIn_a-counterSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from counterSymbol.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/NA_Theory  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/FreeTheory  -I../../src/3rdParty -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libbuiltIn_a-matrixOpSymbol.o -MD -MP -MF ".deps/libbuiltIn_a-matrixOpSymbol.Tpo" -c -o libbuiltIn_a-matrixOpSymbol.o `test -f 'matrixOpSymbol.cc' || echo './'`matrixOpSymbol.cc;  then mv -f ".deps/libbuiltIn_a-matrixOpSymbol.Tpo" ".deps/libbuiltIn_a-matrixOpSymbol.Po"; else rm -f ".deps/libbuiltIn_a-matrixOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from matrixOpSymbol.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libbuiltIn.a
ar cru libbuiltIn.a libbuiltIn_a-equalitySymbol.o  libbuiltIn_a-sortTestSymbol.o  libbuiltIn_a-branchSymbol.o  libbuiltIn_a-stringSymbol.o  libbuiltIn_a-stringTerm.o  libbuiltIn_a-stringDagNode.o  libbuiltIn_a-stringOpSymbol.o  libbuiltIn_a-floatSymbol.o  libbuiltIn_a-floatTerm.o  libbuiltIn_a-floatDagNode.o  libbuiltIn_a-floatOpSymbol.o  libbuiltIn_a-succSymbol.o  libbuiltIn_a-numberOpSymbol.o  libbuiltIn_a-minusSymbol.o  libbuiltIn_a-ACU_NumberOpSymbol.o  libbuiltIn_a-CUI_NumberOpSymbol.o  libbuiltIn_a-divisionSymbol.o  libbuiltIn_a-randomOpSymbol.o  libbuiltIn_a-counterSymbol.o  libbuiltIn_a-matrixOpSymbol.o 
ranlib libbuiltIn.a
Making all in IO_Stuff
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libIO_Stuff_a-IO_Manager.o -MD -MP -MF ".deps/libIO_Stuff_a-IO_Manager.Tpo" -c -o libIO_Stuff_a-IO_Manager.o `test -f 'IO_Manager.cc' || echo './'`IO_Manager.cc;  then mv -f ".deps/libIO_Stuff_a-IO_Manager.Tpo" ".deps/libIO_Stuff_a-IO_Manager.Po"; else rm -f ".deps/libIO_Stuff_a-IO_Manager.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libIO_Stuff_a-autoWrapBuffer.o -MD -MP -MF ".deps/libIO_Stuff_a-autoWrapBuffer.Tpo" -c -o libIO_Stuff_a-autoWrapBuffer.o `test -f 'autoWrapBuffer.cc' || echo './'`autoWrapBuffer.cc;  then mv -f ".deps/libIO_Stuff_a-autoWrapBuffer.Tpo" ".deps/libIO_Stuff_a-autoWrapBuffer.Po"; else rm -f ".deps/libIO_Stuff_a-autoWrapBuffer.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libIO_Stuff_a-directoryManager.o -MD -MP -MF ".deps/libIO_Stuff_a-directoryManager.Tpo" -c -o libIO_Stuff_a-directoryManager.o `test -f 'directoryManager.cc' || echo './'`directoryManager.cc;  then mv -f ".deps/libIO_Stuff_a-directoryManager.Tpo" ".deps/libIO_Stuff_a-directoryManager.Po"; else rm -f ".deps/libIO_Stuff_a-directoryManager.Tpo"; exit 1; fi
rm -f libIO_Stuff.a
ar cru libIO_Stuff.a libIO_Stuff_a-IO_Manager.o  libIO_Stuff_a-autoWrapBuffer.o  libIO_Stuff_a-directoryManager.o 
ranlib libIO_Stuff.a
Making all in ObjectSystem
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libobjectSystem_a-configSymbol.o -MD -MP -MF ".deps/libobjectSystem_a-configSymbol.Tpo" -c -o libobjectSystem_a-configSymbol.o `test -f 'configSymbol.cc' || echo './'`configSymbol.cc;  then mv -f ".deps/libobjectSystem_a-configSymbol.Tpo" ".deps/libobjectSystem_a-configSymbol.Po"; else rm -f ".deps/libobjectSystem_a-configSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from configSymbol.cc:44:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libobjectSystem_a-objectSystemRewritingContext.o -MD -MP -MF ".deps/libobjectSystem_a-objectSystemRewritingContext.Tpo" -c -o libobjectSystem_a-objectSystemRewritingContext.o `test -f 'objectSystemRewritingContext.cc' || echo './'`objectSystemRewritingContext.cc;  then mv -f ".deps/libobjectSystem_a-objectSystemRewritingContext.Tpo" ".deps/libobjectSystem_a-objectSystemRewritingContext.Po"; else rm -f ".deps/libobjectSystem_a-objectSystemRewritingContext.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from objectSystemRewritingContext.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libobjectSystem_a-externalObjectManagerSymbol.o -MD -MP -MF ".deps/libobjectSystem_a-externalObjectManagerSymbol.Tpo" -c -o libobjectSystem_a-externalObjectManagerSymbol.o `test -f 'externalObjectManagerSymbol.cc' || echo './'`externalObjectManagerSymbol.cc;  then mv -f ".deps/libobjectSystem_a-externalObjectManagerSymbol.Tpo" ".deps/libobjectSystem_a-externalObjectManagerSymbol.Po"; else rm -f ".deps/libobjectSystem_a-externalObjectManagerSymbol.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libobjectSystem_a-socketManagerSymbol.o -MD -MP -MF ".deps/libobjectSystem_a-socketManagerSymbol.Tpo" -c -o libobjectSystem_a-socketManagerSymbol.o `test -f 'socketManagerSymbol.cc' || echo './'`socketManagerSymbol.cc;  then mv -f ".deps/libobjectSystem_a-socketManagerSymbol.Tpo" ".deps/libobjectSystem_a-socketManagerSymbol.Po"; else rm -f ".deps/libobjectSystem_a-socketManagerSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from socketManagerSymbol.cc:43:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/FreeTheory  -I../../src/NA_Theory  -I../../src/S_Theory  -I../../src/BuiltIn -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libobjectSystem_a-pseudoThread.o -MD -MP -MF ".deps/libobjectSystem_a-pseudoThread.Tpo" -c -o libobjectSystem_a-pseudoThread.o `test -f 'pseudoThread.cc' || echo './'`pseudoThread.cc;  then mv -f ".deps/libobjectSystem_a-pseudoThread.Tpo" ".deps/libobjectSystem_a-pseudoThread.Po"; else rm -f ".deps/libobjectSystem_a-pseudoThread.Tpo"; exit 1; fi
rm -f libobjectSystem.a
ar cru libobjectSystem.a libobjectSystem_a-configSymbol.o  libobjectSystem_a-objectSystemRewritingContext.o  libobjectSystem_a-externalObjectManagerSymbol.o  libobjectSystem_a-socketManagerSymbol.o  libobjectSystem_a-pseudoThread.o 
ranlib libobjectSystem.a
Making all in Meta
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmeta_a-metaModuleCache.o -MD -MP -MF ".deps/libmeta_a-metaModuleCache.Tpo" -c -o libmeta_a-metaModuleCache.o `test -f 'metaModuleCache.cc' || echo './'`metaModuleCache.cc;  then mv -f ".deps/libmeta_a-metaModuleCache.Tpo" ".deps/libmeta_a-metaModuleCache.Po"; else rm -f ".deps/libmeta_a-metaModuleCache.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmeta_a-metaLevel.o -MD -MP -MF ".deps/libmeta_a-metaLevel.Tpo" -c -o libmeta_a-metaLevel.o `test -f 'metaLevel.cc' || echo './'`metaLevel.cc;  then mv -f ".deps/libmeta_a-metaLevel.Tpo" ".deps/libmeta_a-metaLevel.Po"; else rm -f ".deps/libmeta_a-metaLevel.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from metaLevel.cc:51:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmeta_a-interpreterManagerSymbol.o -MD -MP -MF ".deps/libmeta_a-interpreterManagerSymbol.Tpo" -c -o libmeta_a-interpreterManagerSymbol.o `test -f 'interpreterManagerSymbol.cc' || echo './'`interpreterManagerSymbol.cc;  then mv -f ".deps/libmeta_a-interpreterManagerSymbol.Tpo" ".deps/libmeta_a-interpreterManagerSymbol.Po"; else rm -f ".deps/libmeta_a-interpreterManagerSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from interpreterManagerSymbol.cc:44:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmeta_a-metaOpCache.o -MD -MP -MF ".deps/libmeta_a-metaOpCache.Tpo" -c -o libmeta_a-metaOpCache.o `test -f 'metaOpCache.cc' || echo './'`metaOpCache.cc;  then mv -f ".deps/libmeta_a-metaOpCache.Tpo" ".deps/libmeta_a-metaOpCache.Po"; else rm -f ".deps/libmeta_a-metaOpCache.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from ../../src/Core/rule.hh:28,
                 from ../../src/Mixfix/userLevelRewritingContext.hh:34,
                 from metaOpCache.cc:55:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmeta_a-metaModule.o -MD -MP -MF ".deps/libmeta_a-metaModule.Tpo" -c -o libmeta_a-metaModule.o `test -f 'metaModule.cc' || echo './'`metaModule.cc;  then mv -f ".deps/libmeta_a-metaModule.Tpo" ".deps/libmeta_a-metaModule.Po"; else rm -f ".deps/libmeta_a-metaModule.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmeta_a-metaLevelOpSymbol.o -MD -MP -MF ".deps/libmeta_a-metaLevelOpSymbol.Tpo" -c -o libmeta_a-metaLevelOpSymbol.o `test -f 'metaLevelOpSymbol.cc' || echo './'`metaLevelOpSymbol.cc;  then mv -f ".deps/libmeta_a-metaLevelOpSymbol.Tpo" ".deps/libmeta_a-metaLevelOpSymbol.Po"; else rm -f ".deps/libmeta_a-metaLevelOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from metaLevelOpSymbol.cc:48:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
In file included from ../../src/Core/protectedDagNodeSet.hh:28,
                 from ../../src/Higher/narrowingSequenceSearch.hh:30,
                 from metaLevelOpSymbol.cc:67:
../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
In file included from metaLevelOpSymbol.cc:101:
metaMatch.cc: In member function 'MatchSearchState* MetaLevelOpSymbol::makeMatchSearchState2(MetaModule*, FreeDagNode*, RewritingContext&) const':
metaMatch.cc:175:10: warning: converting 'false' to pointer type 'MatchSearchState*' [-Wconversion-null]
  175 |   return false;
      |          ^~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmeta_a-metaPreModule.o -MD -MP -MF ".deps/libmeta_a-metaPreModule.Tpo" -c -o libmeta_a-metaPreModule.o `test -f 'metaPreModule.cc' || echo './'`metaPreModule.cc;  then mv -f ".deps/libmeta_a-metaPreModule.Tpo" ".deps/libmeta_a-metaPreModule.Po"; else rm -f ".deps/libmeta_a-metaPreModule.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from metaPreModule.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
rm -f libmeta.a
ar cru libmeta.a libmeta_a-metaModuleCache.o  libmeta_a-metaLevel.o  libmeta_a-interpreterManagerSymbol.o  libmeta_a-metaOpCache.o libmeta_a-metaModule.o  libmeta_a-metaLevelOpSymbol.o  libmeta_a-metaPreModule.o 
ranlib libmeta.a
Making all in FullCompiler
Making all in MSCP10
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmscp10_a-scp_parser.o -MD -MP -MF ".deps/libmscp10_a-scp_parser.Tpo" -c -o libmscp10_a-scp_parser.o `test -f 'scp_parser.cc' || echo './'`scp_parser.cc;  then mv -f ".deps/libmscp10_a-scp_parser.Tpo" ".deps/libmscp10_a-scp_parser.Po"; else rm -f ".deps/libmscp10_a-scp_parser.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmscp10_a-scp_compiler.o -MD -MP -MF ".deps/libmscp10_a-scp_compiler.Tpo" -c -o libmscp10_a-scp_compiler.o `test -f 'scp_compiler.cc' || echo './'`scp_compiler.cc;  then mv -f ".deps/libmscp10_a-scp_compiler.Tpo" ".deps/libmscp10_a-scp_compiler.Po"; else rm -f ".deps/libmscp10_a-scp_compiler.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmscp10_a-scp_memory.o -MD -MP -MF ".deps/libmscp10_a-scp_memory.Tpo" -c -o libmscp10_a-scp_memory.o `test -f 'scp_memory.cc' || echo './'`scp_memory.cc;  then mv -f ".deps/libmscp10_a-scp_memory.Tpo" ".deps/libmscp10_a-scp_memory.Po"; else rm -f ".deps/libmscp10_a-scp_memory.Tpo"; exit 1; fi
rm -f libmscp10.a
ar cru libmscp10.a libmscp10_a-scp_parser.o  libmscp10_a-scp_compiler.o  libmscp10_a-scp_memory.o 
ranlib libmscp10.a
Making all in StrategyLanguage
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-trivialStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-trivialStrategy.Tpo" -c -o libstrategyLanguage_a-trivialStrategy.o `test -f 'trivialStrategy.cc' || echo './'`trivialStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-trivialStrategy.Tpo" ".deps/libstrategyLanguage_a-trivialStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-trivialStrategy.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-applicationStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-applicationStrategy.Tpo" -c -o libstrategyLanguage_a-applicationStrategy.o `test -f 'applicationStrategy.cc' || echo './'`applicationStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-applicationStrategy.Tpo" ".deps/libstrategyLanguage_a-applicationStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-applicationStrategy.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from applicationStrategy.cc:37:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-concatenationStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-concatenationStrategy.Tpo" -c -o libstrategyLanguage_a-concatenationStrategy.o `test -f 'concatenationStrategy.cc' || echo './'`concatenationStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-concatenationStrategy.Tpo" ".deps/libstrategyLanguage_a-concatenationStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-concatenationStrategy.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-iterationStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-iterationStrategy.Tpo" -c -o libstrategyLanguage_a-iterationStrategy.o `test -f 'iterationStrategy.cc' || echo './'`iterationStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-iterationStrategy.Tpo" ".deps/libstrategyLanguage_a-iterationStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-iterationStrategy.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-branchStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-branchStrategy.Tpo" -c -o libstrategyLanguage_a-branchStrategy.o `test -f 'branchStrategy.cc' || echo './'`branchStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-branchStrategy.Tpo" ".deps/libstrategyLanguage_a-branchStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-branchStrategy.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-unionStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-unionStrategy.Tpo" -c -o libstrategyLanguage_a-unionStrategy.o `test -f 'unionStrategy.cc' || echo './'`unionStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-unionStrategy.Tpo" ".deps/libstrategyLanguage_a-unionStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-unionStrategy.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-testStrategy.o -MD -MP -MF ".deps/libstrategyLanguage_a-testStrategy.Tpo" -c -o libstrategyLanguage_a-testStrategy.o `test -f 'testStrategy.cc' || echo './'`testStrategy.cc;  then mv -f ".deps/libstrategyLanguage_a-testStrategy.Tpo" ".deps/libstrategyLanguage_a-testStrategy.Po"; else rm -f ".deps/libstrategyLanguage_a-testStrategy.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from ../../src/Higher/pattern.hh:28,
                 from testStrategy.hh:29,
                 from testStrategy.cc:47:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-strategicExecution.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicExecution.Tpo" -c -o libstrategyLanguage_a-strategicExecution.o `test -f 'strategicExecution.cc' || echo './'`strategicExecution.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicExecution.Tpo" ".deps/libstrategyLanguage_a-strategicExecution.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicExecution.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-strategicTask.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicTask.Tpo" -c -o libstrategyLanguage_a-strategicTask.o `test -f 'strategicTask.cc' || echo './'`strategicTask.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicTask.Tpo" ".deps/libstrategyLanguage_a-strategicTask.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicTask.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-branchTask.o -MD -MP -MF ".deps/libstrategyLanguage_a-branchTask.Tpo" -c -o libstrategyLanguage_a-branchTask.o `test -f 'branchTask.cc' || echo './'`branchTask.cc;  then mv -f ".deps/libstrategyLanguage_a-branchTask.Tpo" ".deps/libstrategyLanguage_a-branchTask.Po"; else rm -f ".deps/libstrategyLanguage_a-branchTask.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-strategicProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicProcess.Tpo" -c -o libstrategyLanguage_a-strategicProcess.o `test -f 'strategicProcess.cc' || echo './'`strategicProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicProcess.Tpo" ".deps/libstrategyLanguage_a-strategicProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicProcess.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-decompositionProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-decompositionProcess.Tpo" -c -o libstrategyLanguage_a-decompositionProcess.o `test -f 'decompositionProcess.cc' || echo './'`decompositionProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-decompositionProcess.Tpo" ".deps/libstrategyLanguage_a-decompositionProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-decompositionProcess.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-applicationProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-applicationProcess.Tpo" -c -o libstrategyLanguage_a-applicationProcess.o `test -f 'applicationProcess.cc' || echo './'`applicationProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-applicationProcess.Tpo" ".deps/libstrategyLanguage_a-applicationProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-applicationProcess.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from applicationProcess.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-strategicSearch.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategicSearch.Tpo" -c -o libstrategyLanguage_a-strategicSearch.o `test -f 'strategicSearch.cc' || echo './'`strategicSearch.cc;  then mv -f ".deps/libstrategyLanguage_a-strategicSearch.Tpo" ".deps/libstrategyLanguage_a-strategicSearch.Po"; else rm -f ".deps/libstrategyLanguage_a-strategicSearch.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-sharedRewriteSearchState.o -MD -MP -MF ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Tpo" -c -o libstrategyLanguage_a-sharedRewriteSearchState.o `test -f 'sharedRewriteSearchState.cc' || echo './'`sharedRewriteSearchState.cc;  then mv -f ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Tpo" ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Po"; else rm -f ".deps/libstrategyLanguage_a-sharedRewriteSearchState.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from sharedRewriteSearchState.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-matchProcess.o -MD -MP -MF ".deps/libstrategyLanguage_a-matchProcess.Tpo" -c -o libstrategyLanguage_a-matchProcess.o `test -f 'matchProcess.cc' || echo './'`matchProcess.cc;  then mv -f ".deps/libstrategyLanguage_a-matchProcess.Tpo" ".deps/libstrategyLanguage_a-matchProcess.Po"; else rm -f ".deps/libstrategyLanguage_a-matchProcess.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from matchProcess.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-rewriteTask.o -MD -MP -MF ".deps/libstrategyLanguage_a-rewriteTask.Tpo" -c -o libstrategyLanguage_a-rewriteTask.o `test -f 'rewriteTask.cc' || echo './'`rewriteTask.cc;  then mv -f ".deps/libstrategyLanguage_a-rewriteTask.Tpo" ".deps/libstrategyLanguage_a-rewriteTask.Po"; else rm -f ".deps/libstrategyLanguage_a-rewriteTask.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from rewriteTask.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Interface  -I../../src/Variable  -I../../src/Core  -I../../src/Higher  -I../../src/FullCompiler -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libstrategyLanguage_a-strategyStackManager.o -MD -MP -MF ".deps/libstrategyLanguage_a-strategyStackManager.Tpo" -c -o libstrategyLanguage_a-strategyStackManager.o `test -f 'strategyStackManager.cc' || echo './'`strategyStackManager.cc;  then mv -f ".deps/libstrategyLanguage_a-strategyStackManager.Tpo" ".deps/libstrategyLanguage_a-strategyStackManager.Po"; else rm -f ".deps/libstrategyLanguage_a-strategyStackManager.Tpo"; exit 1; fi
rm -f libstrategyLanguage.a
ar cru libstrategyLanguage.a libstrategyLanguage_a-trivialStrategy.o  libstrategyLanguage_a-applicationStrategy.o  libstrategyLanguage_a-concatenationStrategy.o  libstrategyLanguage_a-iterationStrategy.o  libstrategyLanguage_a-branchStrategy.o  libstrategyLanguage_a-unionStrategy.o  libstrategyLanguage_a-testStrategy.o  libstrategyLanguage_a-strategicExecution.o  libstrategyLanguage_a-strategicTask.o  libstrategyLanguage_a-branchTask.o  libstrategyLanguage_a-strategicProcess.o  libstrategyLanguage_a-decompositionProcess.o  libstrategyLanguage_a-applicationProcess.o  libstrategyLanguage_a-strategicSearch.o  libstrategyLanguage_a-sharedRewriteSearchState.o  libstrategyLanguage_a-matchProcess.o  libstrategyLanguage_a-rewriteTask.o  libstrategyLanguage_a-strategyStackManager.o 
ranlib libstrategyLanguage.a
Making all in Mixfix
cat  ./top.yy  ./modules.yy  ./commands.yy  ./bottom.yy  > surface.yy
/home/pbulk/build/lang/maude/work/.tools/bin/bison -dv surface.yy -o surface.c
surface.yy:100.1-12: warning: deprecated directive: '%pure-parser', use '%define api.pure' [-Wdeprecated]
  100 | %pure-parser
      | ^~~~~~~~~~~~
      | %define api.pure
surface.yy: warning: fix-its can be applied.  Rerun with option '--update'. [-Wother]
mv surface.c surface.cc
/home/pbulk/build/lang/maude/work/.tools/bin/flex -t -p -p ./lexer.ll > lexer.cc
-I (interactive) entails a minor performance penalty
/opt/pkg/bin/bmake  all-am
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-syntaxContainer.o -MD -MP -MF ".deps/libmixfix_a-syntaxContainer.Tpo" -c -o libmixfix_a-syntaxContainer.o `test -f 'syntaxContainer.cc' || echo './'`syntaxContainer.cc;  then mv -f ".deps/libmixfix_a-syntaxContainer.Tpo" ".deps/libmixfix_a-syntaxContainer.Po"; else rm -f ".deps/libmixfix_a-syntaxContainer.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-renaming.o -MD -MP -MF ".deps/libmixfix_a-renaming.Tpo" -c -o libmixfix_a-renaming.o `test -f 'renaming.cc' || echo './'`renaming.cc;  then mv -f ".deps/libmixfix_a-renaming.Tpo" ".deps/libmixfix_a-renaming.Po"; else rm -f ".deps/libmixfix_a-renaming.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from renaming.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-view.o -MD -MP -MF ".deps/libmixfix_a-view.Tpo" -c -o libmixfix_a-view.o `test -f 'view.cc' || echo './'`view.cc;  then mv -f ".deps/libmixfix_a-view.Tpo" ".deps/libmixfix_a-view.Po"; else rm -f ".deps/libmixfix_a-view.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from view.cc:42:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-entity.o -MD -MP -MF ".deps/libmixfix_a-entity.Tpo" -c -o libmixfix_a-entity.o `test -f 'entity.cc' || echo './'`entity.cc;  then mv -f ".deps/libmixfix_a-entity.Tpo" ".deps/libmixfix_a-entity.Po"; else rm -f ".deps/libmixfix_a-entity.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-moduleCache.o -MD -MP -MF ".deps/libmixfix_a-moduleCache.Tpo" -c -o libmixfix_a-moduleCache.o `test -f 'moduleCache.cc' || echo './'`moduleCache.cc;  then mv -f ".deps/libmixfix_a-moduleCache.Tpo" ".deps/libmixfix_a-moduleCache.Po"; else rm -f ".deps/libmixfix_a-moduleCache.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-moduleExpression.o -MD -MP -MF ".deps/libmixfix_a-moduleExpression.Tpo" -c -o libmixfix_a-moduleExpression.o `test -f 'moduleExpression.cc' || echo './'`moduleExpression.cc;  then mv -f ".deps/libmixfix_a-moduleExpression.Tpo" ".deps/libmixfix_a-moduleExpression.Po"; else rm -f ".deps/libmixfix_a-moduleExpression.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-importModule.o -MD -MP -MF ".deps/libmixfix_a-importModule.Tpo" -c -o libmixfix_a-importModule.o `test -f 'importModule.cc' || echo './'`importModule.cc;  then mv -f ".deps/libmixfix_a-importModule.Tpo" ".deps/libmixfix_a-importModule.Po"; else rm -f ".deps/libmixfix_a-importModule.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from importModule.cc:38:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-importTranslation.o -MD -MP -MF ".deps/libmixfix_a-importTranslation.Tpo" -c -o libmixfix_a-importTranslation.o `test -f 'importTranslation.cc' || echo './'`importTranslation.cc;  then mv -f ".deps/libmixfix_a-importTranslation.Tpo" ".deps/libmixfix_a-importTranslation.Po"; else rm -f ".deps/libmixfix_a-importTranslation.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from importTranslation.cc:39:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-fileTable.o -MD -MP -MF ".deps/libmixfix_a-fileTable.Tpo" -c -o libmixfix_a-fileTable.o `test -f 'fileTable.cc' || echo './'`fileTable.cc;  then mv -f ".deps/libmixfix_a-fileTable.Tpo" ".deps/libmixfix_a-fileTable.Po"; else rm -f ".deps/libmixfix_a-fileTable.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-loopSymbol.o -MD -MP -MF ".deps/libmixfix_a-loopSymbol.Tpo" -c -o libmixfix_a-loopSymbol.o `test -f 'loopSymbol.cc' || echo './'`loopSymbol.cc;  then mv -f ".deps/libmixfix_a-loopSymbol.Tpo" ".deps/libmixfix_a-loopSymbol.Po"; else rm -f ".deps/libmixfix_a-loopSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from loopSymbol.cc:45:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-quotedIdentifierSymbol.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierSymbol.Tpo" -c -o libmixfix_a-quotedIdentifierSymbol.o `test -f 'quotedIdentifierSymbol.cc' || echo './'`quotedIdentifierSymbol.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierSymbol.Tpo" ".deps/libmixfix_a-quotedIdentifierSymbol.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from quotedIdentifierSymbol.cc:40:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-quotedIdentifierDagNode.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierDagNode.Tpo" -c -o libmixfix_a-quotedIdentifierDagNode.o `test -f 'quotedIdentifierDagNode.cc' || echo './'`quotedIdentifierDagNode.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierDagNode.Tpo" ".deps/libmixfix_a-quotedIdentifierDagNode.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierDagNode.Tpo"; exit 1; fi
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-quotedIdentifierTerm.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierTerm.Tpo" -c -o libmixfix_a-quotedIdentifierTerm.o `test -f 'quotedIdentifierTerm.cc' || echo './'`quotedIdentifierTerm.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierTerm.Tpo" ".deps/libmixfix_a-quotedIdentifierTerm.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierTerm.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from quotedIdentifierTerm.cc:41:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-quotedIdentifierOpSymbol.o -MD -MP -MF ".deps/libmixfix_a-quotedIdentifierOpSymbol.Tpo" -c -o libmixfix_a-quotedIdentifierOpSymbol.o `test -f 'quotedIdentifierOpSymbol.cc' || echo './'`quotedIdentifierOpSymbol.cc;  then mv -f ".deps/libmixfix_a-quotedIdentifierOpSymbol.Tpo" ".deps/libmixfix_a-quotedIdentifierOpSymbol.Po"; else rm -f ".deps/libmixfix_a-quotedIdentifierOpSymbol.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from ../../src/Variable/variableTerm.hh:28,
                 from ../../src/Core/variableInfo.hh:30,
                 from ../../src/Core/preEquation.hh:30,
                 from ../../src/Core/rule.hh:28,
                 from userLevelRewritingContext.hh:34,
                 from quotedIdentifierOpSymbol.cc:61:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-mixfixModule.o -MD -MP -MF ".deps/libmixfix_a-mixfixModule.Tpo" -c -o libmixfix_a-mixfixModule.o `test -f 'mixfixModule.cc' || echo './'`mixfixModule.cc;  then mv -f ".deps/libmixfix_a-mixfixModule.Tpo" ".deps/libmixfix_a-mixfixModule.Po"; else rm -f ".deps/libmixfix_a-mixfixModule.Tpo"; exit 1; fi
In file included from ../../src/Interface/term.hh:34,
                 from mixfixModule.cc:55:
../../src/Core/termSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/termSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
In file included from ../../src/Higher/temporalSymbol.hh:29,
                 from ../../src/Higher/modelCheckerSymbol.hh:28,
                 from mixfixModule.cc:114:
../../src/Core/dagNodeSet.hh:35:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   35 |   PointerSet::cardinality;
      |   ^~~~~~~~~~
../../src/Core/dagNodeSet.hh:36:3: warning: access declarations are deprecated in favour of using-declarations; suggestion: add the 'using' keyword [-Wdeprecated]
   36 |   PointerSet::makeEmpty;
      |   ^~~~~~~~~~
if g++ -DHAVE_CONFIG_H -I. -I. -I../..  -I../../src/Utility  -I../../src/Temporal  -I../../src/Interface  -I../../src/Core  -I../../src/Variable  -I../../src/FullCompiler  -I../../src/Higher  -I../../src/CUI_Theory  -I../../src/S_Theory  -I../../src/NA_Theory  -I../../src/FreeTheory  -I../../src/ObjectSystem  -I../../src/Mixfix  -I../../src/BuiltIn  -I../../src/MSCP10  -I../../src/IO_Stuff  -I../../src/ACU_Persistent  -I../../src/ACU_Theory  -I../../src/AU_Persistent  -I../../src/AU_Theory  -I../../src/Meta  -I../../src/3rdParty  -I../../src/FullCompiler  -I../../src/StrategyLanguage -I/opt/pkg/include  -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/pkg/include -MT libmixfix_a-token.o -MD -MP -MF ".deps/libmixfix_a-token.Tpo" -c -o libmixfix_a-token.o `test -f 'token.cc' || echo './'`token.cc;  then mv -f ".deps/libmixfix_a-token.Tpo" ".deps/libmixfix_a-token.Po"; else rm -f ".deps/libmixfix_a-token.Tpo"; exit 1; fi
token.cc: In member function 'void Token::getRational(mpz_class&, mpz_class&)':
token.cc:800:13: error: 'index' was not declared in this scope; did you mean 'index_t'?
  800 |   char* p = index(s, '/');
      |             ^~~~~
      |             index_t
*** Error code 1

Stop.
bmake[4]: stopped in /home/pbulk/build/lang/maude/work/Maude-2.6/src/Mixfix
*** Error code 1

Stop.
bmake[3]: stopped in /home/pbulk/build/lang/maude/work/Maude-2.6/src/Mixfix
*** Error code 1

Stop.
bmake[2]: stopped in /home/pbulk/build/lang/maude/work/Maude-2.6/src
*** Error code 1

Stop.
bmake[1]: stopped in /home/pbulk/build/lang/maude/work/Maude-2.6
*** Error code 1

Stop.
bmake: stopped in /home/pbulk/build/lang/maude/work/Maude-2.6
*** Error code 1

Stop.
bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/maude
*** Error code 1

Stop.
bmake: stopped in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/maude