[Eva] Results: adds a request to allows evaluations in a given cvalue state.

During the Eva analysis, the Inout and From plugins uses callbacks that gives
access to the computed cvalue states, and they need to evaluate some expressions
in these states.