isl_ast_codegen.c: generate_domain: compute explicit representations of divs