Got clarification on how to resolve method calls, introduced concept of

Got clarification on how to resolve method calls, introduced concept of
a set of possible callees on virtual dispatch, have to take the merge of
those ownership graphs and allocation sites to be correct.  Stable, but
only a draft of the OwnershipAnalysis portion.  OwnershipGraph mechanics
to determine mapping of references in callee merge-o-tron to caller graph
not added yet.