implementation of y + x = x + y transformation

aconversions/src/re2fa/Brzozowski.cpp

aconvert.regexp/src/RegExpParser.cpp

aconvert.regexp/src/RegExpParser.h

aderivation/src/aderivation.cpp

aintegral/src/aintegral.cpp

alib/src/RegExpFactory.h

alib/src/regexp/Alternation.cpp

alib/src/regexp/Alternation.h

alib/src/regexp/Concatenation.cpp

alib/src/regexp/Concatenation.h

alib/src/regexp/Iteration.h

alib/src/regexp/RegExp.cpp

alib/src/regexp/RegExp.h

alib/src/regexp/RegExpParser.cpp

alib/src/regexp/RegExpParser.h

alib/src/regexp/RegExpPrinter.cpp

alib/src/regexp/RegExpPrinter.h

libaderivation/src/RegExpDerivation.cpp

libaderivation/src/RegExpDerivation.h

libaderivation/src/RegExpIntegral.cpp