[PBQP] Improve the assert for conservatively allocatables.