[Eva] Simplifies the implementation of static and dynamic splits.

Only one split (either static or dynamic) can be active on the same term.
If a new split is encountered while a split is aleady active on the same term,
the old split is removed.