Introduce adjPermanentArtifact
Implement algorithm stackFrames
Define and use doVarsArithmetic2
Document algorithm stackFrames