Bibin112358

When defining a `goto` in a macro, its label is replaced, when it matches a macro argument. When defining a `label` in a macro, its label is **not** replaced, even...

Viper-Extension tells me to report this bug: Using the following Viper Program ```vpr define outer_macro () { { define inner_macro 42 } } method test() { outer_macro() } ``` I...