Fix 14137: False positive: uninitvar when using an assert before loop

Fix 14137: False positive: uninitvar when using an assert before loop #20181