OOps, a grave bug introduced when refactoring abst_var. Fixing
Polarity flipping is just not a good idea. Removing.