make sure that at least one instance of every quantified clause literal is generated