isl_basic_set_multiplicative_call: check for empty unbounded inputs