More work on UseDefGraph: dealing with member access and a bit of optimization.
UseDefGraph code now complete. More testing required though.