[Eva] Multidim domain: optimizes the oracle function of the join.

Caches calls to the oracle by saving the resulting valuation and reusing it
on next calls.