@ switch_1
@
statement S_1,S_2;
position p1,p2;
identifier x,y;
@@
switch (...)
   {
   int x;
   int x;
   case 2:@p1
-      x = y;
   case 4:@p2 S_2
   }