To get the expression from SwitchCase

```c

#define ABC XVY(1)

{
int cmd = 1;
int ABC=1;

switch(cmd) {
case ABC:
printf("hello!\n);
}
}
```

How to get a "ABC" from a SwitchCase class? (Not a value using (SwitchCase).getExpr().getFullyConverted().getValue() )

Thanks in advance,