My guess is that some students never really let go of mathematics. Without this step, you cannot even begin to form a mental model of how the machine evaluates

My guess is that some students never really let go of mathematics. Without this step, you cannot even begin to form a mental model of how the machine evaluates an imperative program. Students with no experience programming may be better off starting with a language like Haskell.