Add-to-queue, checking constraints