In the notes, wrote the compiler logic for `essence-for-if`.