isl_ast_build_expr.c: extract_modulo: extract construction of modulo expression