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

usage: ceta [(parameters) certificate | --version]
  
  A "certificate" is an XML file in the certification problem format (CPF 3.x).
  
  (manually setting a parameter overwrites information in CPF):
  --allow-assumptions    Allow (axiomatic) assumptions in the certificate.
  --inputf fname         Read input from separate file.
  --propertyf fname      Read property from separate file.
  --property p           Read property from string p.
  --answerf fname        Read answer from separate file.
  --answer a             Read answer from string a.
  --version              Print the version number (+ mercurial id).

Tool output:
moca: CeTA does not support join or semi-equational CTRSs
CallStack (from HasCallStack):
  error, called at ./Certificate.hs:205:24 in main:Certificate