isl_basic_set_preimage: avoid NULL pointer dereference