unified queue
prop engine for mcsat