Implement graph for local variables and parameters
Merge pull request #153 from soc/topic/local-var-and-params

Implement graph for local variables and parameters
Implement field access

I only just realized that fields need to be handled differently
depending on whether they're used as lvalues or rvalues. I'll handle
that when we can actually assign things to them