1s0(n + 1);
2

source code of polly/lib/External/isl/test_inputs/codegen/omega/substitution-4.c