source: CIVL/mods/dev.civl.abc/examples/side-effects/out_inc.c

int f(int n)
{
  return n;
}
int main()
{
  int i = 10;
  int $sef$0 = i;
  i = i + 1;
  int j = f($sef$0);
  i = i + 1;
  int k = f(i);
}