How to find parent of some goal in synthInstance output

Stream: new members

[Shujian Yan]

image.png
Is the goal in the picture added due to one of the previous goals?
Are there ways to find out that specific one without mannully unfold all of them one by one :smile:

set_option trace.Meta.synthInstance true
example : 1 + 1 = 2 := by
  simp