Implemented some subt_rec tests.