drop some redundant C labels in if-blocks

--HG--
extra : amend_source : affe6e89d8c2c49654f376fbbda3b1ad29190895
improve annotation for else-clause in while-loop