[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145 
`method.numVars` already includes all parameters.