added check for y = upper bound in uniform ccdf_log