fix: correct result files for bigints.tst
fix: correct result files for listvar.tst

::denominator and ::enumerator from poly.lib have become kernel commandos
fix: correct result files for Tracing_of_procedures.tst

running the test under master branch showed the same differences
in result files (and the differences are that the new results are
shifted back by one line)
Merge pull request #267 from YueRen/thurnau

Update test results due to changes in SW