I've been playing around with adding some kind of visual distinction for AC bodies so a reader can easily tell that those steps are not immediately evaluated, even when reading an algorithm from bottom to top.
What do you think about something like this?
It's just a couple styles on the AC's body <ol>:
border-left: 3px solid #CCC;
border-radius: 0 0 0 20px;
padding-bottom: 5px;