[Diffbase]Firmgraph creation for local variables and function parameters

Depends on #145 
I think you need to set the current memory state after every local var assignment to prevent firm from reordering order-dependent statements.