- speed up solver a bit by creating a queue holding all assertion