1// replace 'R = X; return R;' with 'return X;'
2@@
3identifier VAR;
4expression E;
5type T;
6identifier F;
7@@
8 T F(...)
9 {
10     ...
11-    T VAR;
12     ... when != VAR
13
14-    VAR =
15+    return
16     E;
17-    return VAR;
18     ... when != VAR
19 }
20