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