fn rand_node_satisfies_spec(nid: NodeId, sel: RandNodeSelector) -> bool