basicblock: also generate BB #0 when it's labeld with `Nothing' (BBEnd)