Qual è la differenza tra predicato e ramo

Un predicato restituisce una risposta sì / no a una domanda - cioè, un condizionale booleano.

Un ramo è ciò che fai a seconda della risposta (supponendo che tu faccia cose diverse).

Quindi, in c pseudo codice:

if(predicate)
{
  // one branch
}
else
{
  // another branch
}