Sadly it is more complicated - but the document in the link was written before a bunch of problems were found (with things like unreachable code, which is indee

Sadly it is more complicated - but the document in the link was written before a bunch of problems were found (with things like unreachable code, which is indeed trickier in stack machines than ASTs). (Those problems and their solutions haven't been documented yet AFAIK.)