``` fn f() { (assert (10 == 10)) = 10 } ``` becomes ``` fn f() { assert (10 == 10) = 10 } ``` which becomes ``` fn f() { assert (10 == 10 = 10) } ```