∀ (a : Lean.FVarId) (a_1 : Lean.SubExpr.Pos) (a_2 : Lean.FVarId) (a_3 : Lean.SubExpr.Pos),
  (Lean.SubExpr.GoalLocation.hypType a a_1 = Lean.SubExpr.GoalLocation.hypType a_2 a_3) = (a = a_2 ∧ a_1 = a_3)