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