[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145