src/isl-0.15/test_inputs/codegen/omega/guard1-0.c

if ((n - m + 2) % 3 == 0)
  s0(n, m);