式をウォッチに入れるだけでは？

return h(a, g(b, f(a)));
---
w1: f(a)
w2: g(b, f(a))
w3: h(a, g(b, f(a)))
---

これをステップ実行しようとしたら最悪、変数が2つ増えてヤダ
ぽちぽち回数も増えるし良いことない