@@
type T, B != T;
identifier func, i;
expression E;
@@

T func (...) {
...
(
T i;
|
T i = E;
|
static B i;
|
static B i = E;
|
-B i;
+T i;
|
-B i = E;
+T i = E;
)
<+...
(
return i;
|
return (T) i;
)
...+>
}