{
"name": "do.body => do.end",
"context": "{ [] }",
"statements": [{
"name": "Stmt_do_body",
"domain": "{ Stmt_do_body[i0] : i0 >= 0 and i0 <= 2147483646 }",
"schedule": "{ Stmt_do_body[i0] -> [0, o1, i0, o3, 0] : 64o3 = o1 and o1 <= i0 and o1 >= -63 + i0 }",
"accesses": [{
"kind": "write",
"relation": "{ Stmt_do_body[i0] -> MemRef_A[0] }"
}]
}]
}