====== Sequential non deterministic ======

Only one rule application is performed in a single step (as marked by {@link #derive()}). If several applications are possible, one is chosen pseudo-randomly.