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
Fatal error: exception Invalid_argument("List.map2")
cpf2_to_3_phase_1: expecting "<", but found: ''
CallStack (from HasCallStack):
  error, called at ./CPF_2_to_3.hs:2175:8 in main:CPF_2_to_3
-:1: parser error : Document is empty

^
unable to parse -