fix proposal for  variable conflicts in primdec.lib
merged with fix.hardcoded.variables.inPrimdec