9 "context" : "[n] -> { : -9223372036854775808 <= n <= 9223372036854775807 }",
10 "name" : "%for.i---%exit",
16 "relation" : "[n] -> { Stmt_S1[i0] -> MemRef_ptr[i0+1] }"
19 "domain" : "[n] -> { Stmt_S1[i0] : 0 <= i0 < n }",
21 "schedule" : "[n] -> { Stmt_S1[i0] -> [i0] }"