fix proposal for  variable conflicts in primdec.lib