isl_ast_codegen.c: contruct_shifted_executed: use isl_val