[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145 
I think this is my code. I left it like this simply because "Unresolved reference" is a better error message than "Failed to get value of None".