[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145 
{nit} I'd call this `declIndex` instead, but feel free to ignore if you want.