[Eva] Evaluation: uses a record for the arguments of the forward evaluation.

All forward evaluation functions use the same arguments without modifying them:
- the current state of the abstract domain;
- the remaining fuel;
- the oracle.
These arguments are now gathered into a context, which will facilitate the
introduction of new similar arguments.

Removes the reference for the oracle.