Sometimes duplicate locations occur in constraint messages

[MxmUrw]

For example, checking the dpgd.

 typecheck_from_file("test/flux_dp/flux_dp.jl")

gives

`Constraints:
   - top:
constr_21 : IsLess (∑∅,s_24)
  In test/flux_dp/flux_dp.jl: line 97
  In test/flux_dp/flux_dp.jl: line 97
  Gauss delta parameter must be > 0
,
constr_65 : IsLess (∑∅,s_62)
  In test/flux_dp/flux_dp.jl: line 77
  This variable can be chosen freely > 0
,
constr_51 : IsLessEqual (2.0⋅(1 / s_75)⋅ceil(s_75),2.0)
  Restricting the variable:  D
  In the gauss call Gauss (2.0, eps, del, G)
  All variables which are *NOT* annotated as 'Static' and are used in the body G
  Have to have sensitivity <=  2.0
,
constr_18 : IsLess (s_23,1)
  In test/flux_dp/flux_dp.jl: line 97
  In test/flux_dp/flux_dp.jl: line 97
  Gauss epsilon parameter must be <= 1
,
constr_20 : IsLess (∑∅,s_23)
  In test/flux_dp/flux_dp.jl: line 97
  In test/flux_dp/flux_dp.jl: line 97
  Gauss epsilon parameter must be > 0
,
constr_64 : IsLessEqual (s_62,1)
  In test/flux_dp/flux_dp.jl: line 77
  This variable can be chosen freely <= 1
,
constr_98 : IsSupremum (τ_123,Real) :=: τ_142
  Inherited from the constraint:
     IsTypeOpResult (Binary * (Num(τ_123[s_63 ©]) @ η_19,Num(Real[--]) @ η_20) Num(τ_142[--]))
  In test/flux_dp/flux_dp.jl: line 100
  Constraint on the builtin call:
  ScaleGrad (eta, G)
,
constr_50 : IsLessEqual (2.0⋅(1 / s_75)⋅ceil(s_75),2.0)
  Restricting the variable:  L
  In the gauss call Gauss (2.0, eps, del, G)
  All variables which are *NOT* annotated as 'Static' and are used in the body G
  Have to have sensitivity <=  2.0
,
constr_19 : IsLess (s_24,1)
  In test/flux_dp/flux_dp.jl: line 97
  In test/flux_dp/flux_dp.jl: line 97
  Gauss delta parameter must be <= 1

   - others:
[]
()

julia>