test_bound: use isl interface for computing bounds