Ветвление содержит логический блок. Следование не содержит.
С циклами сложнее. Они напрямую блока не содержат, но он там подразумевается.
При каждом совершении цикла идет проверка условия.
Если условие выполнено, то цикл заканчивается.
Только в цикле с предусловием оно проверяется перед выполнением цикла, а с постусловием - после выполнения.