added interprocedural version of dataFlowFrom.