Description
The cache for resolved calls of base call graphs does not consider parameter types: if an unresolved call is reached with different types, it might resolve to a different set of targets.