Correctly trace through the call string contexts

This version works. The previous version forgot to consider the BOTH
the  current top-level context and its ancestors.

See #71.