Add test for aliasing