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