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

Handle instruction UB on the RHS correctly
Merge remote-tracking branch 'upstream/master' into extract-insert
fixed getTuple