Fix statement of Rplus_lt_reg_r and add Rplus_lt_reg_l.