[Eva] Fixes interpretation of successive split annotations.

A skip statement is created on each split annotation: do not ration
states on them to avoid meddling in successive split directives.