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