Something
public text v1 · immutableint foo()
{
int a;
int x;
if (a) {
a = 3;
x = a + 1;
} else {
a = 2;
x = a + 2;
}
}
int foo()
{
int a;
int x;
if (a) {
a = 3;
x = a + 1;
} else {
a = 2;
x = a + 2;
}
}