Merge branch 'spielwiese' into add.assume.in.primdec.lib
Merge branch 'add.assume.in.primdec.lib' of https://github.com/surface-smoothers/Sources into add.assume.in.primdec.lib
no unconditional ASSUME in static routines