Suppose lhs_vr is [64,64] and vr_result is ~[0,0]. It would seem that the code near the end of this function will malfunction. Shouldn't the test be that both lhs_vr *and* vr_result are VR_RANGE? This is causing an ACATS failure in c45651a and possibly others.