I think so. We can use the rule graph to look up what the next nodes should be instead of the index