Symbol: sati_reassign_blocks_verify_condition