Логика и программа: шаги разветвления в программировании на снимках