Add test for statements that modify a variable

int a = producer(1);
int b = producer(a);
a += 2; // Here a is modified
int c = producer(a);

See #30.