Add another aliasing test