bound.c: verify_point: use isl_printer