otrsToTrs sig = aliasedTrsToTrs
              . additiveTrsToAliasedTrs sig
              . otrsToAdditiveTrs sig
              . antiTrsToOtrs sig
otrsToTrs sig = aliasedTrsToTrs
              . additiveTrsToAliasedTrs sig
              . otrsToAdditiveTrs sig
              . antiTrsToOtrs sig
otrsToTrs sig = aliasedTrsToTrs
              . additiveTrsToAliasedTrs sig
              . otrsToAdditiveTrs sig
              . antiTrsToOtrs sig