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