Usage: fort-h [OPTION...] FORMULA FILE.trs...

  -h, -?  --help         print usage information
  -v      --verbose      verbose output
  -w      --witness      enable witness generation
  -c      --certificate  enable certificate output