[Eva] Requests: explicits the evaluation point of values requests.

A term (lvalue, expression or property) can be evaluated:
- in the initial state of the analysis;
- at the start of a function
- at a given statement.

Fixes evaluation point of term_lval in post-conditions, which were evaluated
in the pre-state instead of the post-state.