fixing bug #19; polarities for skolem variable guards in encoding