@fancy-queen-20734 : looks good. one quicky:

without_rule

looks like it clones the whole graph. not sure how often it is called, but rust is a bit more mutability focused.