Handle instruction UB on the RHS correctly
Merge pull request #133 from rsas/rhs-ub

Handle instruction UB on the RHS correctly