[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145 
I don't think so. Getting/setting memory state is necessary because the memory state is implicit in cases like Call/Return etc. For local variables, constr.getVariable() always retrieves the correct (latest) value of the local variable.