Usage
-----

./fortify ANSWER FORMULA CERTIFICATE TRS_FILES...

Syntax
------

 - ANSWER is either YES or NO

 - FORMULA uses the same syntax as FORT-h
   (see https://fortissimo.uibk.ac.at/jar/#tools)

 - TRS_FILES follow the format used by COPS:

   * TRS format:
       http://project-coco.uibk.ac.at/problems/trs.php

   * inlined COM format:
       http://project-coco.uibk.ac.at/2019/categories/commutation.php