You would have to add some kind of statefulness, which I suspect is the thing that those people are having trouble reasoning about (and which is also an argument for making things immutable even in imperative languages!).

"Statecharts"? Some other kind of boxes-and-arrows Moore/Mealy machine visualisation?