Experiment a prototype: - record what variables users inspected - ask users to "validate" (or maybe "invalidate" as it is more discrete) state of variables at each step - develop a prototype with the Pharo debugger