It's a question of what primitives to support in a language, what is expressive, and what is conducive to clear, maintainable programs. This stuff takes a lot of time to hammer out. Virtually all CPUs don't implement else, since if-then is sufficient to specify the else (if X then Y, where Y skips Z which is only done if not X).