DEBUG_FUNCTION void debug_iteration_domains (scop_p scop) { print_iteration_domains (stderr, scop); }
void debug_iteration_domains (scop_p scop, int verbosity) { print_iteration_domains (stderr, scop, verbosity); }