isl_tab_basic_map_partial_lexopt: detect modulos and integer divisions

[isl.git] / test_inputs / codegen / omega / substitution-4.c

s0(n + 1);