Các ngôn ngữ lập trình thể hiện hai dạng chính của câu lệnh điều kiện, đó là dạng lồng ghép if … then … else và dạng goto. Sime, Green & Guest (1974) đã so sánh hai dạng này với một dạng thứ ba ít phổ biến hơn, đó là lồng ghép với độ dư thừa, và họ phát hiện rằng những người không phải lập trình viên học cách viết chương trình dựa trên câu lệnh điều kiện đạt được kết quả tốt nhất với dạng thứ ba này. Giải thích của họ nhấn mạnh sự cần thiết phải hiểu một chương trình và phân biệt giữa hai quá trình hiểu áp dụng cho các câu lệnh điều kiện: lần theo chương trình như một máy tính và tìm cách một điểm cụ thể trong chương trình có thể được đạt tới. Họ đã giả thuyết rằng sự khác biệt về khả năng hiểu chủ yếu xảy ra trong quá trình thứ hai. Các thí nghiệm hiện tại đã so sánh thời gian phản hồi của các lập trình viên chuyên nghiệp trong các nhiệm vụ hiểu yêu cầu một trong hai quá trình (Thí nghiệm I) hoặc quá trình kia (Thí nghiệm II). Những khác biệt lớn hơn giữa ba kiểu câu lệnh điều kiện đã được phát hiện trong nhiệm vụ thứ hai, ủng hộ dạng lồng ghép với độ dư thừa và do đó hỗ trợ giả thuyết này. Các khả năng ứng dụng cho nghiên cứu trong lĩnh vực này và cho thiết kế ngôn ngữ lập trình được thảo luận.
