[Eva] Octagons: optimizes dependencies.

Uses faster but approximating functions for [join], [narrow] and [add]:
in resulting maps (m, i), the inverse map [i] may contain variables that do
not appear in [m]. Do not fail when this is the case.