Add test case for indirect heap dependence

Stage1: A a = new A();
Stage2: a.mutate();
Stage3: a.mutate();

There is no def-use dependence edge between Stage2 and Stage3. But
we can deal with it because of we assume that the variable will be
transferred.