9 "context" : "[n] -> { : -2147483648 <= n <= 2147483647 }",
10 "name" : "%for---%return",
16 "relation" : "[n] -> { Stmt_body[i0] -> MemRef_A[0] }"
19 "domain" : "[n] -> { Stmt_body[i0] : 0 <= i0 < n }",
21 "schedule" : "[n] -> { Stmt_body[i0] -> [i0] }"