Usage
=====

Usage: ./fortify ANSWER FORMULA CERTIFICATE TRS_FILES..

Input Formats
-------------

 - ANSWER is either YES or NO

 - FORMULA uses the same syntax as FORT-h
   (see http://cl-informatik.uibk.ac.at/software/fortissimo/tacas2021/)

 - TRS_FILES use the CoCo FORMATs:

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

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