update test case: variable aliasing is now supported