def METHOD_NAME():
    @dace.program
    def top(a: dace.float64[20, 20], b: dace.float64[20, 20], c: dace.float64[20, 20]):
        for i in dace.map[0:20] @ dace.ScheduleType.GPU_Device:
            for _ in range(5):
                c[i] += a[i] + b[i]
    sdfg = top.to_sdfg(simplify=False)
    set_default_schedule_and_storage_types(sdfg, None)
    for node, state in sdfg.all_nodes_recursive():
        if isinstance(node, dace.nodes.MapEntry):
            if get_parent_map(state, node) is None:
                assert node.schedule == dace.ScheduleType.GPU_Device
            else:
                assert node.schedule == dace.ScheduleType.GPU_ThreadBlock