Property CANInsertWithFailure-PT-090-LTLFireability-00
  "Automatically generated"
  is:
    A (X X X F X "Node23SentFailure52"? & ("Node83ReceiveFailure27"? | G X F "Node8AskReq44"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-01
  "Automatically generated"
  is:
    A (X ("Node45SendRefuse34"? | (G "Node18SentFailure26"? & F "Node67SendRefuse17"?)) & F !(G "Node67SendRefuse17"? U "Node18SentFailure26"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-02
  "Automatically generated"
  is:
    A (G "Node34ReceiveFailure82"? & (("Node46SendRefuse51"? & ("Node34ReceiveFailure82"? | G "Node82SendAccept1"?)) U "Node82SendAccept1"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-03
  "Automatically generated"
  is:
    A (X !(X G X F "Node77GetRequest81"? U F "Node76GetRequest87"?) U X "Node42SendOfaJoinMsg"?)
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-04
  "Automatically generated"
  is:
    A F (!G "Node40SentFailure64"? | ("Node69GetRequest85"? & G "Node40SentFailure64"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-05
  "Automatically generated"
  is:
    A (G "Node66SentFailure39"? & G !G (!"Node14SentFailure26"? U X !F "Node75AskReq73"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-06
  "Automatically generated"
  is:
    A (X !"Node28ReceiveFailure6"? U (("Node28ReceiveFailure6"? | ("Node51SendRefuse1"? & "Node28ReceiveFailure6"? & G "Node28ReceiveFailure6"?)) U G "Node28ReceiveFailure6"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-07
  "Automatically generated"
  is:
    A (("Node8AskReq44"? U !"Node19ReceiveFailure79"?) & G X !X X F X ("Node80GetRequest29"? | "Node19ReceiveFailure79"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-08
  "Automatically generated"
  is:
    A G X G X G (!"Node32SendAccept11"? | !F "Node9SendAccept29"?)
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-09
  "Automatically generated"
  is:
    A ("Node81ReceiveFailure47"? | (X X F "Node46AskReq33"? & (("Node46AskReq33"? U "Node53SendRefuse19"?) U X "Node70GetRequest33"?)))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-10
  "Automatically generated"
  is:
    A G ("Node31SendAccept80"? | (F !F "Node3SendAccept24"? U X X ("Node31SendAccept80"? | "Node3SendAccept24"?)))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-11
  "Automatically generated"
  is:
    A (F "Node6ReceiveFailure32"? & !(!F "Node56SendAccept30"? U X X X X "Node42SendAccept79"?))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-12
  "Automatically generated"
  is:
    A (G (F "Node19GetRequest65"? & ("Node44ReceiveFailure40"? U F "Node64ReceiveFailure25"?)) | X F !"Node18SendAccept8"?)
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-13
  "Automatically generated"
  is:
    A X (X X !"Node24GetRequest8"? | F (F "Node24GetRequest8"? U ("Node24GetRequest8"? & G "Node55SendAccept48"?)))
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-14
  "Automatically generated"
  is:
    A F (F G (G "Node84GetRequest59"? & ("Node84GetRequest59"? U "Node39AskReq24"?)) U F !F !"Node23ReceiveFailure60"?)
  end.
Property CANInsertWithFailure-PT-090-LTLFireability-15
  "Automatically generated"
  is:
    A ("Node18SentFailure5"? | X (F !"Node24SendRefuse5"? & !(F X "Node14AskReq66"? U "Node24SendRefuse5"?)))
  end.
