L'expression
t1
+
Call
(
f
, [])
peut être canonisée en le code réduit à l'instruction
Move
(
t2
,
Call
(
f
, []))
et l'expression résiduelle
t1
+
t2
parce que
t1
commute avec
Move
(
t2
,
Call
(
f
, []))
.