Added better pointer aliasing and also support for walking chains of declaration within the method