The node you are looking for is at Using pointer type disambiguation with partial program tracing.