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