src/third_party/llvm-project/polly/lib/External/isl/test_inputs/codegen/isolate4.st - cobalt - Git at Google

 # Check that generic options are not applied to isolated part
 domain: "{ A[i] : 0 <= i < 20 }"
 child:
   schedule: "[{ A[i] -> [i] }]"
   options: "{ isolate[[] -> [x]] : 5 <= x <= 15; unroll[x] }"
	# Check that generic options are not applied to isolated part
	domain: "{ A[i] : 0 <= i < 20 }"
	child:
	schedule: "[{ A[i] -> [i] }]"
	options: "{ isolate[[] -> [x]] : 5 <= x <= 15; unroll[x] }"