Dans le bout de programme suivant, on suppose que toutes les variables sont correctement déclarées et initialisées. Parmi les affirmations proposées, laquelle est nécessairement vraie ?

if (a > b) {
    result = a;
} else {
    result = b;
}