Resolved ambiguity due to duplicate injection of FunDef in ExternalDef through Declaration