add a new aliasing rule (struct access != variable)