Fix #109: Handle LabelDef for while (false) {}