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

source code of polly/lib/External/isl/test_inputs/codegen/omega/guard1-0.c