[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145 
{nit} (This is more of a style question than anything, but I wouldn't check for this and let `expr.decl.get` blow up instead. That conveys the same message, without implying that an unresolved reference is something we even consider possible at this point. But again, feel free to ignore.)