The Value object now holds the instructions that do a definition.

Now is possible to know the instructions that define of local variables (by a STORE) and reaches a LOAD instruction.