/**
 * @name New call graph edge from using type-tracking instead of points-to, that is ambiguous
 * @kind problem
 * @problem.severity recommendation
 * @id py/meta/call-graph-new-ambiguous
 * @precision very-low
 */

import python
import CallGraphQuality

from CallNode call, Target target
where
  target.isRelevant() and
  not call.(PointsToBasedCallGraph::ResolvableCall).getTarget() = target and
  call.(TypeTrackingBasedCallGraph::ResolvableCall).getTarget() = target and
  1 < count(call.(TypeTrackingBasedCallGraph::ResolvableCall).getTarget())
select call, "NEW: $@ to $@", call, "Call", target, target.toString()