working on new behaviour of primdec.lib