Property CANInsertWithFailure-PT-090-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E (G (! (E (X (A ((is-fireable("Node10GetRequest58")) U (A (X (is-fireable("Node86SendRefuse15"))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (X ((E ((! (A (G (E (F (is-fireable("Node70AskReq40"))))))) U (E (X (is-fireable("Node86SendRefuse12")))))) | (A (F (! (A (F (is-fireable("Node29ReceiveFailure78")))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      (A (F (! ((E (F (A (G (is-fireable("Node63SentFailure65")))))) & (E (G (A ((is-fireable("Node86SendAccept9")) U (is-fireable("Node1AskReq56")))))))))) & (E ((E ((((! ((is-fireable("Node89AskReq75")) & (is-fireable("Node34ReceiveFailure31")))) & (A (F (is-fireable("Node76SendAccept36"))))) | ((is-fireable("Node12SendAccept67")) & (A (G (is-fireable("Node41SendAccept57")))))) U (A (G (E ((is-fireable("Node63SentFailure29")) U (is-fireable("Node31AskReq8")))))))) U (is-fireable("Node14AskReq10"))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (F (((! (E (F (! (E (X (is-fireable("Node12ReceiveFailure87")))))))) | (is-fireable("Node57SendAccept16"))) & (! (A (X ((! (A (G (is-fireable("Node77ReceiveFailure89"))))) | (is-fireable("Node61ReceiveFailure70"))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (G (E ((E (F (((E (X (is-fireable("Node31SendAccept63")))) & ((is-fireable("Node24SendAccept26")) | (is-fireable("Node28GetRequest42")))) | (A (G (is-fireable("Node50GetRequest25"))))))) U (((A ((E (X (is-fireable("Node58SendRefuse14")))) U (! (is-fireable("Node72SendAccept57"))))) | (! (is-fireable("Node34GetRequest78")))) & ((A (G (is-fireable("Node42ReceiveFailure5")))) | (E (X (! (is-fireable("Node38ReceiveFailure33"))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      (! (E (G (! (is-fireable("Node68SendRefuse7")))))) | (A ((! (is-fireable("Node50SentFailure17"))) U (A (X (E (((A (G (is-fireable("Node30SentFailure53")))) | (! (is-fireable("Node1ReceiveFailure68")))) U (A ((is-fireable("Node89SendAccept3")) U (is-fireable("Node65ReceiveFailure10"))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F (((! (E (F (((is-fireable("Node77GetRequest72")) & (is-fireable("Node71GetRequest37"))) & (! (is-fireable("Node56AskReq57"))))))) | ((((! (A (X (is-fireable("Node1GetRequest3"))))) & (A (X (is-fireable("Node1AskReq35"))))) & (A (X (A (G (is-fireable("Node22SentFailure67"))))))) | (! (((is-fireable("Node6GetRequest85")) & ((is-fireable("Node27AskReq36")) & (is-fireable("Node11ReceiveFailure36")))) & ((! (is-fireable("Node87GetRequest22"))) | (! (is-fireable("Node66AskReq1")))))))) & (is-fireable("Node23SendAccept7"))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((is-fireable("Node84ReceiveFailure47")) | ((E (G (! (is-fireable("Node5SendRefuse48"))))) | (E (G (A (F (is-fireable("Node63AskReq82"))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      (! (A (G (A (G (A (X ((is-fireable("Node89AskReq34")) | (is-fireable("Node41SendRefuse72")))))))))) & (A (X (E ((! (A (((is-fireable("Node51GetRequest85")) & (is-fireable("Node38SendAccept22"))) U ((is-fireable("Node86ReceiveFailure14")) | (is-fireable("Node38ReceiveFailure39")))))) U (! (((E (F (is-fireable("Node55AskReq19")))) | ((is-fireable("Node44SentFailure82")) & (is-fireable("Node19ReceiveFailure84")))) | (A (G (is-fireable("Node60SendAccept61"))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      (A ((E (G (! (A (X ((is-fireable("Node81GetRequest80")) & (is-fireable("Node5ReceiveFailure19")))))))) U (A (X (((((is-fireable("Node21SendAccept88")) | (is-fireable("Node78AskReq12"))) | (E ((is-fireable("Node44ReceiveFailure85")) U (is-fireable("Node33SentFailure82"))))) | (E ((is-fireable("Node41SentFailure88")) U (is-fireable("Node65SendRefuse46"))))) | (((is-fireable("Node20AskReq49")) | (E (G (is-fireable("Node74SendRefuse86"))))) | ((is-fireable("Node10SentFailure80")) & ((is-fireable("Node45SendRefuse43")) | (is-fireable("Node54AskReq11")))))))))) & (A (X (A (G (E (F ((A (G (is-fireable("Node29SendRefuse28")))) & (is-fireable("Node23AskReq21")))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      A (G (E (F (is-fireable("Node85ReceiveFailure81")))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A ((! ((! (A (((is-fireable("Node84AskReq40")) | (is-fireable("Node75SentFailure48"))) U (A (X (is-fireable("Node76SentFailure28"))))))) | ((A (X (! (is-fireable("Node72SendAccept80"))))) & (A (G ((is-fireable("Node15AskReq29")) & (is-fireable("Node62ReceiveFailure85")))))))) U ((E (G ((E (X (E (F (is-fireable("Node81SentFailure44")))))) | (E (X (A (F (is-fireable("Node8SendAccept89"))))))))) | (! ((! (((is-fireable("Node9SendAccept48")) | (is-fireable("Node23ReceiveFailure4"))) & ((is-fireable("Node1SendRefuse15")) & (is-fireable("Node71SentFailure45"))))) & ((! ((! (is-fireable("Node38ReceiveFailure80"))) & ((is-fireable("Node49GetRequest17")) & (is-fireable("Node57SendAccept21"))))) | (A (G (A ((is-fireable("Node37SendRefuse61")) U (is-fireable("Node38AskReq40")))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      (E (F (A (X (((A (F (is-fireable("Node24AskReq49")))) | (! (is-fireable("Node38AskReq72")))) & ((! ((is-fireable("Node49SentFailure3")) | (is-fireable("Node5ReceiveFailure8")))) & (E ((is-fireable("Node60GetRequest56")) U (is-fireable("Node56AskReq47")))))))))) & (A (F ((! (is-fireable("Node59GetRequest44"))) & (A ((((is-fireable("Node31AskReq3")) & ((is-fireable("Node28SentFailure29")) | (is-fireable("Node21GetRequest79")))) & (is-fireable("Node50AskReq51"))) U (E (F ((is-fireable("Node21AskReq66")) & (is-fireable("Node74GetRequest63"))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (F (((E (X (((E (X (is-fireable("Node79ReceiveFailure67")))) & (is-fireable("Node37ReceiveFailure83"))) | (E (X (is-fireable("Node32SendAccept19"))))))) | (is-fireable("Node1SendAccept34"))) & (E ((is-fireable("Node62SendAccept88")) U (E (((is-fireable("Node2GetRequest86")) | (! (is-fireable("Node23SendRefuse47")))) U (E (F (is-fireable("Node1SentFailure22"))))))))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      ! (E ((! ((E (F (is-fireable("Node25GetRequest52")))) | (E ((! ((is-fireable("Node42ReceiveFailure68")) & (is-fireable("Node35AskReq77")))) U (A (G (is-fireable("Node70SendAccept4")))))))) U (is-fireable("Node83ReceiveFailure34"))))
   end.
Property CANInsertWithFailure-PT-090-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E ((E (G (A (G (((! (is-fireable("Node53SendRefuse40"))) & ((is-fireable("Node47SentFailure66")) | (is-fireable("Node45SendRefuse54")))) | ((A (G (is-fireable("Node33ReceiveFailure23")))) & ((is-fireable("Node87AskReq6")) | (is-fireable("Node5SendAccept18"))))))))) U (A (((is-fireable("Node44GetRequest61")) & (A (G ((A (X (is-fireable("Node25GetRequest89")))) & ((is-fireable("Node76GetRequest13")) & (is-fireable("Node32SentFailure39"))))))) U (! (A ((A (F (is-fireable("Node35GetRequest80")))) U (((is-fireable("Node3GetRequest0")) | (is-fireable("Node24AskReq37"))) & ((is-fireable("Node51SendAccept26")) & (is-fireable("Node23SendAccept7"))))))))))
   end.
