updated script to generate witness sets for Backelin's Lemma
as overdetermined polynomial systems, without slack variables