inferDfgForUnresolvedSymbols

Uses heuristics to add DFG edges for call expressions to unresolved functions (i.e., functions not implemented in the given source code).