so if the engine previously had (A -> D -> E -> B), where A->D, D->E, and E->B are distinct `@rule`s