extract some generally useful code from ModRef
Code to compute transitive lexical accesses of methods.

The TransitiveLexicalAccesses class computes the lexical variables
read by a CGNode and its transitive callees.  Also, a basic test case.
add support for lexical writes
renamed classes to make relationship to mod-ref analysis clearer
Merge branch 'lexical-access-info'
test fix