fix some zerogens and size(ideal) issues in primdecint.lib
removed addIdealZ and fixed ASSUME level
updated primdecint_some_special_cases.tst
fix: merhe error: removed addIdealZ
implement tr.622 (lead(I) sets isSB)
removed duplicate tests form ok_s.lst