Алгоритм предполагает, что значение 'a' делится на 1. Если результат меньше 5, то 'x' равен 0. В противном случае 'x' равен 0, разделенному на 0 (что является неопределенностью, но по схеме мы идем в ветку '+0', что означает, что 'x' принимает значение 0).
| a | 1 | 3 | 5 | 7 | 9 | 11 |
| x | 1 | 3 | 0 | 0 | 0 | 0 |