Factoring and debugging of expression (case EVar)

First part (when the identifier is a method)
Correct instance variable in value_definition