[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145 
{nit} whitespace