void print_iteration_domain (FILE *file, poly_bb_p pbb) { print_pbb_domain (file, pbb); }
void print_iteration_domain (FILE *file, poly_bb_p pbb, int verbosity) { print_pbb_domain (file, pbb, verbosity); }