1s0(n + 19);
2

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