===== A FO-LTL Specification =====
 
===== A FO-LTL Specification =====
   Exception encountered, of type "Error"