Symbolic working

Maybe. Still unknown whose results are the right ones and a few differ
between the versions.
Merge branch 'uberOpt' of https://github.com/MORZorg/SemOptRZ into uberOpt

Conflicts:
	src/SymbolicArgumentsSet.h