I think it’s because specs are not saved? like for inject_address_closure, we can easily check if an address is already in build graph and return immediately