Property CANInsertWithFailure-PT-090-LTLCardinality-00
  "Automatically generated"
  is:
    A !(!(F G ((#tokens("Node18requestsent56")) <= (#tokens("Node81requestsent74"))) | G !((#tokens("Node18requestsent56")) <= (#tokens("Node81requestsent74")))) U (((#tokens("Node50requestsent13")) <= (#tokens("Node27GiveAnswer9"))) | X X ((#tokens("Node9GiveAnswer23")) <= (#tokens("Node11GiveAnswer42")))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-01
  "Automatically generated"
  is:
    A !(G !((!((3) <= (#tokens("Node66GiveAnswer82"))) | ((3) <= (#tokens("Node83ResZone")))) U ((3) <= (#tokens("Node66GiveAnswer82")))) | F (X ((3) <= (#tokens("Node83ResZone"))) U ((#tokens("Node57GiveAnswer6")) <= (#tokens("Node9GiveAnswer18")))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-02
  "Automatically generated"
  is:
    A (X ((((#tokens("Node85GiveAnswer46")) <= (#tokens("Node48requestsent50"))) U (!((3) <= (#tokens("Node9GiveAnswer59"))) & (((3) <= (#tokens("Node29GiveAnswer88"))) U X ((1) <= (#tokens("Node14GiveAnswer47")))))) U X ((#tokens("Node85GiveAnswer46")) <= (#tokens("Node48requestsent50")))) U ((3) <= (#tokens("Node9GiveAnswer59"))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-03
  "Automatically generated"
  is:
    A F !X X (X X (((2) <= (#tokens("Node75GiveAnswer40"))) U G ((#tokens("Node45GiveAnswer24")) <= (#tokens("Node36GiveAnswer68")))) U G ((2) <= (#tokens("Node87requestsent42"))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-04
  "Automatically generated"
  is:
    A (((#tokens("Node27GiveAnswer51")) <= (#tokens("Node58requestsent49"))) & ((1) <= (#tokens("Node20GiveAnswer82"))) & ((1) <= (#tokens("Node0requestsent28"))) & X F !(((#tokens("Node38GiveAnswer46")) <= (#tokens("Node72requestsent64"))) | G (((#tokens("Node38GiveAnswer46")) <= (#tokens("Node72requestsent64"))) U ((#tokens("Node27GiveAnswer51")) <= (#tokens("Node58requestsent49"))))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-05
  "Automatically generated"
  is:
    A X G (!(X ((#tokens("Node59requestsent3")) <= (#tokens("Node1DHTinfo"))) U ((1) <= (#tokens("Node38GiveAnswer57")))) U G X (((#tokens("Node59requestsent3")) <= (#tokens("Node1DHTinfo"))) & G ((1) <= (#tokens("Node38GiveAnswer57")))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-06
  "Automatically generated"
  is:
    A (X ((#tokens("Node80GiveAnswer66")) <= (#tokens("Node39GiveAnswer58"))) & (G (((2) <= (#tokens("Node61GiveAnswer46"))) & ((2) <= (#tokens("Node71requestsent56")))) | ((((2) <= (#tokens("Node36requestsent67"))) | ((2) <= (#tokens("Node61GiveAnswer46")))) & G X ((2) <= (#tokens("Node61GiveAnswer46"))))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-07
  "Automatically generated"
  is:
    A G X !(F !F ((#tokens("Node65GiveAnswer77")) <= (#tokens("Node18GiveAnswer21"))) U F G ((2) <= (#tokens("Node46GiveAnswer80"))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-08
  "Automatically generated"
  is:
    A (X X ((1) <= (#tokens("Node75GiveAnswer54"))) & ((((2) <= (#tokens("Node82requestsent26"))) & X ((#tokens("Node32GiveAnswer44")) <= (#tokens("Node34GiveAnswer18")))) U (((#tokens("Node32GiveAnswer44")) <= (#tokens("Node34GiveAnswer18"))) | G X !((2) <= (#tokens("Node82requestsent26"))))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-09
  "Automatically generated"
  is:
    A (!(G ((3) <= (#tokens("Node55requestsent38"))) & (((3) <= (#tokens("Node55requestsent9"))) U !((3) <= (#tokens("Node55requestsent38"))))) U G ((3) <= (#tokens("Node55requestsent9"))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-10
  "Automatically generated"
  is:
    A !X ((G (((2) <= (#tokens("Node15GiveAnswer18"))) | !X (((2) <= (#tokens("Node33requestsent35"))) U ((2) <= (#tokens("Node15GiveAnswer18"))))) U ((#tokens("Node52requestsent82")) <= (#tokens("Node20GiveAnswer54")))) U X ((2) <= (#tokens("Node39requestsent1"))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-11
  "Automatically generated"
  is:
    A F !(((1) <= (#tokens("Node33GiveAnswer51"))) | !((#tokens("Node62GiveAnswer16")) <= (#tokens("Node23requestsent41"))) | ((2) <= (#tokens("Node80GiveAnswer23"))))
  end.
Property CANInsertWithFailure-PT-090-LTLCardinality-12
"Automatically generated"
is:
A X !F (((#tokens("Node36requestsent34")) <= (#tokens("Node84requestsent25"))) | (((#tokens("Node16GiveAnswer57")) <= (#tokens("Node51requestsent87"))) & ((#tokens("Node39requestsent9")) <= (#tokens("Node4GiveAnswer18")))) | X G ((2) <= (#tokens("Node46GiveAnswer17"))))
end.
Property CANInsertWithFailure-PT-090-LTLCardinality-13
"Automatically generated"
is:
A !((!((#tokens("Node34requestsent86")) <= (#tokens("Node77GiveAnswer58"))) | G ((#tokens("Node34requestsent86")) <= (#tokens("Node77GiveAnswer58")))) U (!((2) <= (#tokens("Node64GiveAnswer83"))) U X ((1) <= (#tokens("Node57requestsent48")))))
end.
Property CANInsertWithFailure-PT-090-LTLCardinality-14
"Automatically generated"
is:
A (G ((3) <= (#tokens("Node70GiveAnswer41"))) & G X ((#tokens("Node81Request")) <= (#tokens("Node50requestsent72"))))
end.
Property CANInsertWithFailure-PT-090-LTLCardinality-15
"Automatically generated"
is:
A X (X ((#tokens("Node42GiveAnswer44")) <= (#tokens("Node54requestsent29"))) & F X ((#tokens("Node26GiveAnswer61")) <= (#tokens("Node58requestsent48"))) & (!((3) <= (#tokens("Node39requestsent46"))) | G ((#tokens("Node42GiveAnswer44")) <= (#tokens("Node54requestsent29")))))
end.
