trs-conversion: CPF3 only supports ORIENTED ctrss
CallStack (from HasCallStack):
  error, called at src/TRSConversion/Formats/CPF3/Unparse/Problem.hs:108:47 in trs-conversion-0.6.0.0-inplace:TRSConversion.Formats.CPF3.Unparse.Problem
MAYBE
MAYBE


Tool output:
MAYBE
the obtained ground-complete system contains an unorientable equation and currently such a system is not certifiable