Symbol: in_walk_instances