[判断]  下层数据流图中，不会出现不属于上层图中数据流子项的新数据流。