MAYBE
only oriented (C)TRSs are supported.