fix: output and simplifation of rat. fct.: ntGreaterZero and heuristicGcdCancellation
chg: clean up of FLINT interface
chg: updated test results due to changed primitiv_l.tst
Fixed walk
Updated result files since v3 result does not make sense
Eliminating warnings (from reduce: not SB)
Merge pull request #301 from jankoboehm/spielwiese

Updated result files since v3 result does not make sense
Merge pull request #302 from mmklee/Long_sw

Long sw