AST printing callbacks: pass isl_ast_print_options