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