Program küçük ve homojen olmadığı sürece, değerlendirici iki olasılık ile karşı karşıyadır.
Değerlendirici belirli durumlarda iki olasılık ile karşı karşıya kalabilir.
Değerlendirici kesinlikle üç olasılık ile karşı karşıya kalacaktır.