pet_expr_dump: use isl_printer