Add a positive test case for UB on the RHS