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 = (E);
15-    return VAR;
16+    return E;
17     ... when != VAR
18 }
19