Make getUniqueExitBlocks's precondition assert more precise, to