MAYBE
input TRSs must be LV-TRSs