quantor_bridge: use IntSet for quantified lits; prints formula at debug level 5
quantor_bridge: use IntSet for quantified lits; prints formula at debug level 5

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition