Property LeafsetExtension-PT-S64C4-CTLCardinality-00
   "Automatically generated by Citili v2021"
   is:
      ! (! (A (F ((E (G ((E (G (tokens-count("Node38WantsToManageTheBreakDownOfNode41", "Node7HasAskedItsLeafSetToLxToReplaceNode14", "Node13HasTheLeafSetOfLxToReplaceNode27", "Node60FailureProcessedByNode18", "Node61ManageTheBreakDownOfNode42") <= 22))) | ((30 <= tokens-count("Node51FailureProcessedByNode17", "Node53WantsToManageTheBreakDownOfNode2", "Node29HasAskedItsLeafSetToRxToReplaceNode37", "Node14FailureProcessedByNode29", "Node5FailureProcessedByNode39")) | (21 <= tokens-count("Node9HasAskedItsLeafSetToRxToReplaceNode34", "Node7HasTheLeafSetOfRxToReplaceNode48", "Node17FailureProcessedByNode27", "Node47HasAskedItsLeafSetToRxToReplaceNode58", "Node45WantsToManageTheBreakDownOfNode41", "Node49WantsToManageTheBreakDownOfNode20")))))) & ((tokens-count("Node54ManageTheBreakDownOfNode20", "Node20FailureProcessedByNode47", "Node34FailureProcessedByNode57", "Node7HasAskedItsLeafSetToLxToReplaceNode31", "Node63HasTheLeafSetOfLxToReplaceNode11", "Node53FailureProcessedByNode19", "Node15WantsToManageTheBreakDownOfNode39") <= tokens-count("Node52FailureProcessedByNode42", "Node50ManageTheBreakDownOfNode55", "Node37FailureProcessedByNode62", "Node16WantsToManageTheBreakDownOfNode21", "Node52FailureProcessedByNode53", "Node26HasAskedItsLeafSetToLxToReplaceNode7", "Node17HasTheLeafSetOfRxToReplaceNode49", "Node39ManageTheBreakDownOfNode46")) | (E (X ((tokens-count("Node13HasTheLeafSetOfLxToReplaceNode24", "Node61HasAskedItsLeafSetToRxToReplaceNode58", "Node37ManageTheBreakDownOfNode60", "Node57ManageTheBreakDownOfNode58", "Node8ManageTheBreakDownOfNode48", "Node5WantsToManageTheBreakDownOfNode32", "Node3FailureProcessedByNode32") <= tokens-count("Node20WantsToManageTheBreakDownOfNode34")) & (tokens-count("Node17FailureProcessedByNode58") <= tokens-count("Node11ManageTheBreakDownOfNode51", "Node6WantsToManageTheBreakDownOfNode34", "Node21HasAskedItsLeafSetToLxToReplaceNode6", "Node9HasTheLeafSetOfLxToReplaceNode18", "Node42WantsToManageTheBreakDownOfNode14", "Node55ManageTheBreakDownOfNode33", "Node45ManageTheBreakDownOfNode33", "Node24FailureProcessedByNode34"))))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-01
   "Automatically generated by Citili v2021"
   is:
      E ((! (tokens-count("Node41HasAskedItsLeafSetToRxToReplaceNode36") <= tokens-count("Node2HasTheLeafSetOfRxToReplaceNode59"))) U ((29 <= tokens-count("Node26FailureProcessedByNode0", "Node25WantsToManageTheBreakDownOfNode1", "Node17WantsToManageTheBreakDownOfNode23", "Node61HasAskedItsLeafSetToRxToReplaceNode49", "Node19ManageTheBreakDownOfNode61", "Node44HasAskedItsLeafSetToRxToReplaceNode57", "Node27ManageTheBreakDownOfNode5", "Node15FailureProcessedByNode22")) | (! (! (! ((! ((tokens-count("Node42HasTheLeafSetOfLxToReplaceNode15", "Node50HasAskedItsLeafSetToLxToReplaceNode10") <= tokens-count("Node35WantsToManageTheBreakDownOfNode10", "Node27FailureProcessedByNode41", "Node41HasTheLeafSetOfRxToReplaceNode55", "Node27FailureProcessedByNode3", "Node27HasTheLeafSetOfLxToReplaceNode32", "Node60WantsToManageTheBreakDownOfNode52", "Node14WantsToManageTheBreakDownOfNode15")) | (tokens-count("Node51WantsToManageTheBreakDownOfNode38", "Node37ManageTheBreakDownOfNode40", "Node18FailureProcessedByNode34", "Node55WantsToManageTheBreakDownOfNode22", "Node53FailureProcessedByNode22", "Node51HasAskedItsLeafSetToLxToReplaceNode12", "Node21ManageTheBreakDownOfNode46", "Node7WantsToManageTheBreakDownOfNode11", "Node52FailureProcessedByNode53", "Node40ManageTheBreakDownOfNode2") <= 46))) | ((tokens-count("Node46Failure") <= 44) & (A (G (tokens-count("Node8HasAskedItsLeafSetToRxToReplaceNode46", "Node40ManageTheBreakDownOfNode45") <= tokens-count("Node45HasAskedItsLeafSetToRxToReplaceNode55", "Node60FailureProcessedByNode8", "Node40WantsToManageTheBreakDownOfNode62", "Node40HasAskedItsLeafSetToLxToReplaceNode15", "Node25ManageTheBreakDownOfNode4")))))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-02
   "Automatically generated by Citili v2021"
   is:
      A (G ((! ((tokens-count("Node37ManageTheBreakDownOfNode9", "Node27FailureProcessedByNode28", "Node4HasTheLeafSetOfRxToReplaceNode34", "Node61HasAskedItsLeafSetToLxToReplaceNode11", "Node23HasTheLeafSetOfRxToReplaceNode42") <= tokens-count("Node50HasAskedItsLeafSetToLxToReplaceNode28", "Node13HasTheLeafSetOfRxToReplaceNode41")) & (E (X (! (E ((tokens-count("Node62HasAskedItsLeafSetToLxToReplaceNode21", "Node20FailureProcessedByNode31", "Node3HasAskedItsLeafSetToLxToReplaceNode11", "Node17HasTheLeafSetOfLxToReplaceNode15", "Node23WantsToManageTheBreakDownOfNode50", "Node35WantsToManageTheBreakDownOfNode44") <= tokens-count("Node29HasAskedItsLeafSetToLxToReplaceNode28")) U (tokens-count("Node37HasAskedItsLeafSetToLxToReplaceNode21", "Node21HasTheLeafSetOfRxToReplaceNode46", "Node46ManageTheBreakDownOfNode33") <= tokens-count("Node4HasAskedItsLeafSetToRxToReplaceNode64", "Node3WantsToManageTheBreakDownOfNode7", "Node7HasAskedItsLeafSetToLxToReplaceNode13", "Node33WantsToManageTheBreakDownOfNode20", "Node1FailureProcessedByNode29", "Node3HasTheLeafSetOfRxToReplaceNode57"))))))))) | (A (G (E (X (((tokens-count("Node32HasAskedItsLeafSetToRxToReplaceNode37", "Node64HasAskedItsLeafSetToRxToReplaceNode47", "Node12WantsToManageTheBreakDownOfNode3", "Node61HasTheLeafSetOfLxToReplaceNode12", "Node9FailureProcessedByNode23", "LeafSetOfLxIsSentToNode42") <= 25) | (tokens-count("LeafSetOfLxIsSentToNode33", "Node5HasAskedItsLeafSetToRxToReplaceNode54", "Node41FailureProcessedByNode9") <= tokens-count("Node0HasAskedItsLeafSetToLxToReplaceNode25", "Node53WantsToManageTheBreakDownOfNode34", "Node22HasAskedItsLeafSetToRxToReplaceNode43", "Node53FailureProcessedByNode10"))) | (E (F (23 <= tokens-count("Node16ManageTheBreakDownOfNode10", "Node11HasTheLeafSetOfLxToReplaceNode15", "Node61HasTheLeafSetOfLxToReplaceNode4", "Node2HasTheLeafSetOfLxToReplaceNode1")))))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-03
   "Automatically generated by Citili v2021"
   is:
      E (F (E (X ((! (E (F (E (X (45 <= tokens-count("Node10HasTheLeafSetOfLxToReplaceNode20", "Node7ManageTheBreakDownOfNode6", "Node42ManageTheBreakDownOfNode8", "Node10WantsToManageTheBreakDownOfNode38", "Node52FailureProcessedByNode49", "Node24HasTheLeafSetOfRxToReplaceNode54", "Node23HasTheLeafSetOfLxToReplaceNode0", "Node53HasTheLeafSetOfLxToReplaceNode2", "Node19FailureProcessedByNode53", "Node1FailureProcessedByNode37"))))))) & (! (! (E (F (tokens-count("Node18FailureProcessedByNode13") <= tokens-count("Node45WantsToManageTheBreakDownOfNode35", "RequestOfNode63IsSentToRx", "Node33HasAskedItsLeafSetToRxToReplaceNode49", "Node57ManageTheBreakDownOfNode44"))))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-04
   "Automatically generated by Citili v2021"
   is:
      A (F (E (G (E (F (! (((tokens-count("Node35ManageTheBreakDownOfNode5", "Node33FailureProcessedByNode23", "Node15FailureProcessedByNode10", "Node21HasTheLeafSetOfRxToReplaceNode58", "Node22ManageTheBreakDownOfNode12", "Node10WantsToManageTheBreakDownOfNode27", "Node19FailureProcessedByNode6", "Node44ManageTheBreakDownOfNode35", "Node18HasAskedItsLeafSetToRxToReplaceNode47") <= tokens-count("Node32WantsToManageTheBreakDownOfNode13", "Node41WantsToManageTheBreakDownOfNode34", "Node63FailureProcessedByNode46")) & (45 <= tokens-count("Node58FailureProcessedByNode44", "RxHasReceivedTheRequestOfNode29", "Node30FailureProcessedByNode36", "Node2HasAskedItsLeafSetToRxToReplaceNode39", "Node38HasTheLeafSetOfLxToReplaceNode8", "Node22HasAskedItsLeafSetToLxToReplaceNode8", "Node12ManageTheBreakDownOfNode40", "Node26HasTheLeafSetOfRxToReplaceNode47"))) | (E (G (tokens-count("Node51FailureProcessedByNode15") <= 16))))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-05
   "Automatically generated by Citili v2021"
   is:
      A (F ((E (X (A (G (tokens-count("Node31ManageTheBreakDownOfNode62", "Node36HasAskedItsLeafSetToRxToReplaceNode38", "Node48HasTheLeafSetOfRxToReplaceNode62") <= tokens-count("Node54HasTheLeafSetOfRxToReplaceNode39", "Node62FailureProcessedByNode51", "Node31ManageTheBreakDownOfNode52", "Node47HasTheLeafSetOfRxToReplaceNode61")))))) | (! ((E (X (((tokens-count("Node59HasTheLeafSetOfLxToReplaceNode25") <= 48) | (tokens-count("Node18FailureProcessedByNode2", "Node0WantsToManageTheBreakDownOfNode58") <= tokens-count("Node31ManageTheBreakDownOfNode59", "Node4HasTheLeafSetOfRxToReplaceNode49", "Node43WantsToManageTheBreakDownOfNode33", "Node10HasAskedItsLeafSetToRxToReplaceNode37", "Node16HasTheLeafSetOfRxToReplaceNode41", "Node4FailureProcessedByNode20", "Node10HasTheLeafSetOfLxToReplaceNode7", "Node21ManageTheBreakDownOfNode28"))) | (A (X (39 <= tokens-count("Node63ManageTheBreakDownOfNode27", "Node33FailureProcessedByNode60", "LeafSetOfRxIsSentToNode56", "Node39HasAskedItsLeafSetToLxToReplaceNode27", "Node5HasAskedItsLeafSetToRxToReplaceNode51", "Node3FailureProcessedByNode15", "Node3FailureProcessedByNode29", "Node15FailureProcessedByNode1", "Node52HasAskedItsLeafSetToLxToReplaceNode31"))))))) & (tokens-count("Node31HasTheLeafSetOfLxToReplaceNode0", "Node57ManageTheBreakDownOfNode14", "Node47FailureProcessedByNode21") <= 45)))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-06
   "Automatically generated by Citili v2021"
   is:
      A (F (E (X ((! (E (((tokens-count("Node43WantsToManageTheBreakDownOfNode6", "Node64WantsToManageTheBreakDownOfNode51", "Node43HasTheLeafSetOfRxToReplaceNode52", "Node10WantsToManageTheBreakDownOfNode35", "Node35FailureProcessedByNode9", "Node10HasAskedItsLeafSetToLxToReplaceNode27", "Node40ManageTheBreakDownOfNode10", "Node0ManageTheBreakDownOfNode23", "Node1ManageTheBreakDownOfNode58", "Node8IsActive") <= tokens-count("Node5HasAskedItsLeafSetToLxToReplaceNode19", "Node29FailureProcessedByNode53", "Node59ManageTheBreakDownOfNode44", "Node4FailureProcessedByNode29", "Node6ManageTheBreakDownOfNode52", "Node33HasTheLeafSetOfRxToReplaceNode38")) | (tokens-count("Node34FailureProcessedByNode32", "Node62HasAskedItsLeafSetToRxToReplaceNode52", "Node40HasAskedItsLeafSetToLxToReplaceNode10", "Node43HasAskedItsLeafSetToLxToReplaceNode8", "Node59HasAskedItsLeafSetToLxToReplaceNode15", "Node51HasTheLeafSetOfRxToReplaceNode60", "Node18HasAskedItsLeafSetToRxToReplaceNode60", "Node25WantsToManageTheBreakDownOfNode10") <= tokens-count("Node12ManageTheBreakDownOfNode48", "Node17ManageTheBreakDownOfNode15", "Node36HasTheLeafSetOfRxToReplaceNode61", "Node30HasAskedItsLeafSetToLxToReplaceNode0", "Node59HasTheLeafSetOfLxToReplaceNode15", "Node59HasTheLeafSetOfLxToReplaceNode25", "Node43HasTheLeafSetOfRxToReplaceNode51", "Node37HasTheLeafSetOfLxToReplaceNode29", "Node30WantsToManageTheBreakDownOfNode54", "Node24ManageTheBreakDownOfNode27"))) U (E ((tokens-count("Node36HasAskedItsLeafSetToLxToReplaceNode9", "Node57WantsToManageTheBreakDownOfNode1", "Node49HasAskedItsLeafSetToRxToReplaceNode54", "Node44FailureProcessedByNode63", "Node56ManageTheBreakDownOfNode34") <= tokens-count("Node43ManageTheBreakDownOfNode39", "Node25ManageTheBreakDownOfNode32", "Node33FailureProcessedByNode64", "Node53ManageTheBreakDownOfNode22")) U (1 <= tokens-count("Node12HasAskedItsLeafSetToLxToReplaceNode3", "Node18WantsToManageTheBreakDownOfNode44", "Node53HasTheLeafSetOfRxToReplaceNode50", "Node28HasAskedItsLeafSetToLxToReplaceNode0", "Node32HasTheLeafSetOfLxToReplaceNode17"))))))) & (A ((! (! (tokens-count("Node0ManageTheBreakDownOfNode7", "RequestOfNode18IsSentToRx", "Node46HasTheLeafSetOfLxToReplaceNode16", "Node47FailureProcessedByNode60", "Node24ManageTheBreakDownOfNode62") <= 36))) U (A (X (tokens-count("Node54ManageTheBreakDownOfNode45", "Node63ManageTheBreakDownOfNode25", "Node61ManageTheBreakDownOfNode1", "Node27HasTheLeafSetOfRxToReplaceNode55", "Node15HasAskedItsLeafSetToRxToReplaceNode33", "Node6HasTheLeafSetOfLxToReplaceNode4", "Node20WantsToManageTheBreakDownOfNode53") <= 21)))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-07
   "Automatically generated by Citili v2021"
   is:
      ! (A (G (! ((E ((E ((tokens-count("Node24ManageTheBreakDownOfNode54", "Node24HasAskedItsLeafSetToRxToReplaceNode57", "Node62FailureProcessedByNode23", "Node63FailureProcessedByNode4", "Node50HasAskedItsLeafSetToRxToReplaceNode34", "Node55FailureProcessedByNode42", "Node14FailureProcessedByNode37") <= tokens-count("Node41ManageTheBreakDownOfNode53", "Node62FailureProcessedByNode17", "Node24HasTheLeafSetOfLxToReplaceNode23", "Node27ManageTheBreakDownOfNode2", "Node9WantsToManageTheBreakDownOfNode47", "Node42WantsToManageTheBreakDownOfNode7", "Node10HasTheLeafSetOfLxToReplaceNode20", "Node23FailureProcessedByNode8", "Node63FailureProcessedByNode5", "Node9FailureProcessedByNode3")) U (tokens-count("Node64HasTheLeafSetOfRxToReplaceNode32", "Node43WantsToManageTheBreakDownOfNode55", "Node60HasAskedItsLeafSetToRxToReplaceNode55", "Node0FailureProcessedByNode1", "Node9WantsToManageTheBreakDownOfNode57", "Node52HasTheLeafSetOfRxToReplaceNode39") <= tokens-count("Node34WantsToManageTheBreakDownOfNode56", "Node15FailureProcessedByNode25", "Node37ManageTheBreakDownOfNode56", "Node14HasAskedItsLeafSetToRxToReplaceNode61", "Node17WantsToManageTheBreakDownOfNode38", "Node17HasTheLeafSetOfLxToReplaceNode15", "Node35WantsToManageTheBreakDownOfNode5", "Node3FailureProcessedByNode8", "Node50HasTheLeafSetOfRxToReplaceNode62")))) U (tokens-count("Node51ManageTheBreakDownOfNode1", "Node12WantsToManageTheBreakDownOfNode52", "Node17ManageTheBreakDownOfNode59", "Node49ManageTheBreakDownOfNode28", "Node56HasTheLeafSetOfLxToReplaceNode8", "Node61HasAskedItsLeafSetToRxToReplaceNode42", "Node34HasTheLeafSetOfLxToReplaceNode20", "Node59FailureProcessedByNode28") <= 48))) & (A (G (43 <= tokens-count("Node36WantsToManageTheBreakDownOfNode58", "Node32FailureProcessedByNode49", "Node8HasAskedItsLeafSetToLxToReplaceNode15", "Node7FailureProcessedByNode58", "Node49HasTheLeafSetOfRxToReplaceNode61", "Node9HasTheLeafSetOfRxToReplaceNode45", "Node47HasAskedItsLeafSetToLxToReplaceNode15"))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-08
   "Automatically generated by Citili v2021"
   is:
      (E ((((E (F ((A ((tokens-count("Node47FailureProcessedByNode46", "Node50HasTheLeafSetOfRxToReplaceNode43") <= 31) U (tokens-count("Node14HasAskedItsLeafSetToLxToReplaceNode16") <= 48))) & ((tokens-count("Node43WantsToManageTheBreakDownOfNode25", "Node49ManageTheBreakDownOfNode46", "Node62WantsToManageTheBreakDownOfNode49", "Node50HasTheLeafSetOfRxToReplaceNode62", "Node3HasAskedItsLeafSetToLxToReplaceNode16", "Node21HasAskedItsLeafSetToRxToReplaceNode40", "Node59HasTheLeafSetOfLxToReplaceNode25", "Node62WantsToManageTheBreakDownOfNode14", "Node5HasTheLeafSetOfLxToReplaceNode15") <= tokens-count("Node57FailureProcessedByNode10", "Node26ManageTheBreakDownOfNode55", "Node23HasAskedItsLeafSetToRxToReplaceNode53", "Node47WantsToManageTheBreakDownOfNode63", "Node33ManageTheBreakDownOfNode63", "Node55FailureProcessedByNode33", "Node16WantsToManageTheBreakDownOfNode49", "Node1WantsToManageTheBreakDownOfNode55", "Node6HasAskedItsLeafSetToRxToReplaceNode51", "Node18HasTheLeafSetOfLxToReplaceNode17")) & (tokens-count("Node64ManageTheBreakDownOfNode9", "Node25FailureProcessedByNode18", "Node6ManageTheBreakDownOfNode61", "Node16HasAskedItsLeafSetToLxToReplaceNode28", "Node35HasAskedItsLeafSetToLxToReplaceNode9", "Node25HasAskedItsLeafSetToRxToReplaceNode57", "Node13FailureProcessedByNode18", "Node17HasTheLeafSetOfLxToReplaceNode20", "Node63HasTheLeafSetOfLxToReplaceNode8", "Node11FailureProcessedByNode63") <= tokens-count("Node3ManageTheBreakDownOfNode17", "Node64ManageTheBreakDownOfNode16", "Node45FailureProcessedByNode42", "Node62HasAskedItsLeafSetToLxToReplaceNode0", "Node35ManageTheBreakDownOfNode25", "Node14HasAskedItsLeafSetToLxToReplaceNode27", "Node55ManageTheBreakDownOfNode39", "Node5HasAskedItsLeafSetToRxToReplaceNode51")))))) | (A ((A (F (tokens-count("Node58ManageTheBreakDownOfNode44", "Node42ManageTheBreakDownOfNode26", "Node35HasAskedItsLeafSetToRxToReplaceNode52") <= tokens-count("Node33HasAskedItsLeafSetToLxToReplaceNode10", "Node39WantsToManageTheBreakDownOfNode33", "Node64WantsToManageTheBreakDownOfNode34", "Node29HasTheLeafSetOfRxToReplaceNode46", "Node16HasAskedItsLeafSetToLxToReplaceNode10")))) U (! ((34 <= tokens-count("Node56WantsToManageTheBreakDownOfNode30", "Node17ManageTheBreakDownOfNode16", "RequestOfNode15IsSentToLx", "Node32WantsToManageTheBreakDownOfNode9", "Node52FailureProcessedByNode62")) | (tokens-count("Node60ManageTheBreakDownOfNode2") <= 38)))))) & ((tokens-count("Node13FailureProcessedByNode25", "Node12FailureProcessedByNode38", "Node46WantsToManageTheBreakDownOfNode30", "Node0WantsToManageTheBreakDownOfNode48", "RxHasReceivedTheRequestOfNode35", "Node27HasAskedItsLeafSetToRxToReplaceNode46", "Node41ManageTheBreakDownOfNode18", "Node47FailureProcessedByNode1", "Node32HasAskedItsLeafSetToRxToReplaceNode57") <= tokens-count("Node18HasAskedItsLeafSetToRxToReplaceNode46", "Node15ManageTheBreakDownOfNode4", "Node9WantsToManageTheBreakDownOfNode61")) | ((((E (G (25 <= tokens-count("Node50FailureProcessedByNode16", "Node58ManageTheBreakDownOfNode48", "Node49HasTheLeafSetOfLxToReplaceNode8", "Node27FailureProcessedByNode23", "Node51HasTheLeafSetOfRxToReplaceNode35", "Node48ManageTheBreakDownOfNode30", "Node20ManageTheBreakDownOfNode3", "Node8FailureProcessedByNode32", "Node7ManageTheBreakDownOfNode12")))) | (tokens-count("Node14HasAskedItsLeafSetToLxToReplaceNode32", "Node58HasTheLeafSetOfRxToReplaceNode53", "Node1HasTheLeafSetOfLxToReplaceNode31", "Node37ManageTheBreakDownOfNode4") <= tokens-count("Node42HasTheLeafSetOfLxToReplaceNode21", "Node12HasTheLeafSetOfRxToReplaceNode61"))) & (E (G (15 <= tokens-count("Node20HasAskedItsLeafSetToLxToReplaceNode27", "Node35FailureProcessedByNode46", "Node53ManageTheBreakDownOfNode14", "Node40HasAskedItsLeafSetToRxToReplaceNode64", "Node46ManageTheBreakDownOfNode2"))))) | (! (((12 <= tokens-count("Node12ManageTheBreakDownOfNode1", "LeafSetOfLxIsSentToNode48", "Node38HasAskedItsLeafSetToLxToReplaceNode25", "Node18FailureProcessedByNode58", "Node3HasTheLeafSetOfLxToReplaceNode8", "Node57WantsToManageTheBreakDownOfNode44", "Node17HasTheLeafSetOfRxToReplaceNode48", "Node19HasTheLeafSetOfLxToReplaceNode16")) | (28 <= tokens-count("Node3HasTheLeafSetOfRxToReplaceNode54"))) & (tokens-count("Node39ManageTheBreakDownOfNode4", "Node45ManageTheBreakDownOfNode18", "Node49WantsToManageTheBreakDownOfNode21") <= 13)))))) U (! ((tokens-count("Node7ManageTheBreakDownOfNode17", "Node20ManageTheBreakDownOfNode64", "Node31HasTheLeafSetOfRxToReplaceNode43") <= tokens-count("RequestOfNode64IsSentToLx", "Node48WantsToManageTheBreakDownOfNode40", "Node23HasTheLeafSetOfRxToReplaceNode59", "Node2WantsToManageTheBreakDownOfNode9", "Node30HasAskedItsLeafSetToLxToReplaceNode12", "Node28ManageTheBreakDownOfNode58", "Node58HasTheLeafSetOfLxToReplaceNode24", "Node27HasTheLeafSetOfLxToReplaceNode10")) | ((A (X ((26 <= tokens-count("Node1ManageTheBreakDownOfNode5", "Node53WantsToManageTheBreakDownOfNode61", "Node44HasTheLeafSetOfLxToReplaceNode19", "Node38HasTheLeafSetOfRxToReplaceNode50", "Node47ManageTheBreakDownOfNode21", "Node8FailureProcessedByNode39", "Node34HasTheLeafSetOfRxToReplaceNode60", "Node31HasTheLeafSetOfRxToReplaceNode48", "Node10FailureProcessedByNode19", "LeafSetOfRxIsSentToNode16")) | (tokens-count("Node60HasAskedItsLeafSetToRxToReplaceNode38", "Node62HasAskedItsLeafSetToLxToReplaceNode16", "Node8WantsToManageTheBreakDownOfNode46", "Node24HasTheLeafSetOfRxToReplaceNode58", "Node32HasAskedItsLeafSetToLxToReplaceNode25") <= tokens-count("Node49HasAskedItsLeafSetToLxToReplaceNode30", "Node42IsActive", "Node18HasAskedItsLeafSetToLxToReplaceNode21", "Node48WantsToManageTheBreakDownOfNode25", "Node45HasTheLeafSetOfLxToReplaceNode8", "Node29FailureProcessedByNode48"))))) & (A (G (! (tokens-count("Node1ManageTheBreakDownOfNode28", "Node17FailureProcessedByNode20", "Node13ManageTheBreakDownOfNode29", "LxHasReceivedTheRequestOfNode26", "Node52HasAskedItsLeafSetToRxToReplaceNode32", "Node6HasAskedItsLeafSetToRxToReplaceNode46", "Node2HasTheLeafSetOfRxToReplaceNode61", "Node56ManageTheBreakDownOfNode25") <= tokens-count("Node15ManageTheBreakDownOfNode31", "Node59FailureProcessedByNode4", "Node56WantsToManageTheBreakDownOfNode16", "Node60ManageTheBreakDownOfNode0", "Node40FailureProcessedByNode39")))))))))) & ((E (G (((A (X (E (G (tokens-count("Node29ManageTheBreakDownOfNode48", "Node10FailureProcessedByNode19", "Node15ManageTheBreakDownOfNode53", "Node9ManageTheBreakDownOfNode40", "Node49ManageTheBreakDownOfNode54", "Node63FailureProcessedByNode20", "Node31HasAskedItsLeafSetToLxToReplaceNode28") <= tokens-count("Node61HasTheLeafSetOfLxToReplaceNode27", "Node39HasTheLeafSetOfLxToReplaceNode14", "Node49ManageTheBreakDownOfNode9", "Node21WantsToManageTheBreakDownOfNode53", "Node30ManageTheBreakDownOfNode12", "Node50HasAskedItsLeafSetToRxToReplaceNode64", "Node46FailureProcessedByNode41", "Node2HasAskedItsLeafSetToRxToReplaceNode60")))))) | (E ((E (G (32 <= tokens-count("Node33WantsToManageTheBreakDownOfNode26", "Node18HasAskedItsLeafSetToRxToReplaceNode48", "Node26HasTheLeafSetOfRxToReplaceNode62", "Node3HasAskedItsLeafSetToLxToReplaceNode9", "Node55WantsToManageTheBreakDownOfNode3", "Node15FailureProcessedByNode8", "Node56ManageTheBreakDownOfNode37", "Node10HasTheLeafSetOfRxToReplaceNode58")))) U ((tokens-count("RequestOfNode50IsSentToLx", "Node24HasAskedItsLeafSetToLxToReplaceNode29") <= tokens-count("Node18HasTheLeafSetOfLxToReplaceNode12", "NoNodeManageTheBreakDownOfNode36", "Node52ManageTheBreakDownOfNode17", "Node32HasTheLeafSetOfRxToReplaceNode55", "Node55ManageTheBreakDownOfNode64", "Node13HasTheLeafSetOfRxToReplaceNode51", "Node53FailureProcessedByNode14")) | (tokens-count("Node57HasTheLeafSetOfRxToReplaceNode62", "Node49HasTheLeafSetOfLxToReplaceNode15") <= 5))))) | ((! (tokens-count("Node32isTheNodeMaster") <= tokens-count("Node55HasAskedItsLeafSetToRxToReplaceNode38", "Node45ManageTheBreakDownOfNode50"))) & ((E (F (tokens-count("Node44FailureProcessedByNode37", "Node29FailureProcessedByNode37", "Node1WantsToManageTheBreakDownOfNode10", "Node7HasAskedItsLeafSetToRxToReplaceNode52") <= 38))) | (E ((29 <= tokens-count("Node18HasTheLeafSetOfRxToReplaceNode47", "Node5FailureProcessedByNode53", "Node53HasTheLeafSetOfLxToReplaceNode27", "Node18ManageTheBreakDownOfNode54", "Node26WantsToManageTheBreakDownOfNode1", "Node45ManageTheBreakDownOfNode34")) U (tokens-count("Node58HasTheLeafSetOfLxToReplaceNode7", "Node48FailureProcessedByNode1", "Node4ManageTheBreakDownOfNode21", "Node41HasAskedItsLeafSetToRxToReplaceNode36", "Node49HasAskedItsLeafSetToRxToReplaceNode40", "Node21ManageTheBreakDownOfNode15", "Node45ManageTheBreakDownOfNode1") <= 35)))))))) & (! (A ((E (G ((E (X (41 <= tokens-count("Node4ManageTheBreakDownOfNode5", "Node7ManageTheBreakDownOfNode57", "Node50WantsToManageTheBreakDownOfNode28", "Node57FailureProcessedByNode56", "Node23WantsToManageTheBreakDownOfNode51", "Node42WantsToManageTheBreakDownOfNode21", "NoNodeManageTheBreakDownOfNode14")))) | (! (4 <= tokens-count("Node25ManageTheBreakDownOfNode0", "Node36ManageTheBreakDownOfNode34", "Node39FailureProcessedByNode7", "Node34WantsToManageTheBreakDownOfNode56", "Node34WantsToManageTheBreakDownOfNode24")))))) U (25 <= tokens-count("Node14ManageTheBreakDownOfNode37", "Node5HasTheLeafSetOfLxToReplaceNode11", "Node60WantsToManageTheBreakDownOfNode42", "Node37HasAskedItsLeafSetToRxToReplaceNode33", "Node34HasTheLeafSetOfLxToReplaceNode14", "Node12FailureProcessedByNode7"))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-09
   "Automatically generated by Citili v2021"
   is:
      (E ((((! ((A ((23 <= tokens-count("Node21HasTheLeafSetOfLxToReplaceNode9", "Node24ManageTheBreakDownOfNode58", "Node59HasTheLeafSetOfLxToReplaceNode0", "Node45ManageTheBreakDownOfNode8", "Node23HasAskedItsLeafSetToLxToReplaceNode2")) U (tokens-count("Node5HasAskedItsLeafSetToLxToReplaceNode0", "Node24HasAskedItsLeafSetToLxToReplaceNode9") <= 44))) | (A ((22 <= tokens-count("Node5HasAskedItsLeafSetToRxToReplaceNode61", "Node45FailureProcessedByNode13", "Node10FailureProcessedByNode56", "Node16HasTheLeafSetOfLxToReplaceNode28", "Node26FailureProcessedByNode47")) U (7 <= tokens-count("Node51WantsToManageTheBreakDownOfNode53", "Node23HasAskedItsLeafSetToRxToReplaceNode53", "Node19FailureProcessedByNode54")))))) & (A (F ((A (F (tokens-count("Node47ManageTheBreakDownOfNode39", "Node7WantsToManageTheBreakDownOfNode21", "NoNodeManageTheBreakDownOfNode3", "Node43HasAskedItsLeafSetToRxToReplaceNode34", "Node6WantsToManageTheBreakDownOfNode36") <= 36))) | ((20 <= tokens-count("Node5HasTheLeafSetOfLxToReplaceNode11", "Node9WantsToManageTheBreakDownOfNode16", "Node35IsActive", "Node17WantsToManageTheBreakDownOfNode49", "Node51ManageTheBreakDownOfNode62", "LxHasReceivedTheRequestOfNode16", "Node31ManageTheBreakDownOfNode60", "Node23FailureProcessedByNode9")) & (40 <= tokens-count("Node45FailureProcessedByNode29", "Node20ManageTheBreakDownOfNode59", "Node40HasTheLeafSetOfLxToReplaceNode13", "Node35WantsToManageTheBreakDownOfNode62"))))))) & (! (E (X (A (X (tokens-count("Node56FailureProcessedByNode54", "Node53FailureProcessedByNode10", "Node29HasTheLeafSetOfLxToReplaceNode21", "Node11FailureProcessedByNode25", "Node26FailureProcessedByNode6", "Node45HasTheLeafSetOfRxToReplaceNode42") <= 31))))))) U (((((tokens-count("Node58FailureProcessedByNode14", "Node64ManageTheBreakDownOfNode22", "Node55WantsToManageTheBreakDownOfNode44") <= tokens-count("Node16HasTheLeafSetOfRxToReplaceNode38")) | (tokens-count("Node30FailureProcessedByNode18", "Node42WantsToManageTheBreakDownOfNode0") <= 1)) & (13 <= tokens-count("Node47ManageTheBreakDownOfNode57", "Node40FailureProcessedByNode33", "Node53WantsToManageTheBreakDownOfNode59", "Node50FailureProcessedByNode64", "Node36HasAskedItsLeafSetToRxToReplaceNode39", "Node55FailureProcessedByNode4", "Node19ManageTheBreakDownOfNode27", "Node50FailureProcessedByNode0", "Node44HasTheLeafSetOfLxToReplaceNode15", "Node18WantsToManageTheBreakDownOfNode59"))) | (! (41 <= tokens-count("Node55FailureProcessedByNode3", "Node7HasTheLeafSetOfLxToReplaceNode3")))) & (2 <= tokens-count("Node17FailureProcessedByNode52", "Node13FailureProcessedByNode37", "Node51FailureProcessedByNode55", "Node60ManageTheBreakDownOfNode46"))))) | (A (G (((((tokens-count("Node58ManageTheBreakDownOfNode8", "Node2FailureProcessedByNode29", "Node38WantsToManageTheBreakDownOfNode19", "Node11ManageTheBreakDownOfNode38") <= 26) & ((tokens-count("Node32WantsToManageTheBreakDownOfNode48") <= 8) & ((tokens-count("Node13HasAskedItsLeafSetToRxToReplaceNode59", "Node3HasTheLeafSetOfRxToReplaceNode37") <= 50) | (35 <= tokens-count("Node59ManageTheBreakDownOfNode47", "Node63HasAskedItsLeafSetToLxToReplaceNode4"))))) & ((! (tokens-count("Node59FailureProcessedByNode42", "Node3HasAskedItsLeafSetToRxToReplaceNode33", "Node53WantsToManageTheBreakDownOfNode21", "Node56WantsToManageTheBreakDownOfNode57", "Node30HasTheLeafSetOfRxToReplaceNode45", "Node35HasTheLeafSetOfLxToReplaceNode18", "Node23HasTheLeafSetOfRxToReplaceNode39", "Node10HasTheLeafSetOfLxToReplaceNode16") <= tokens-count("Node26FailureProcessedByNode22"))) & (! ((tokens-count("Node29HasTheLeafSetOfLxToReplaceNode6", "Node4WantsToManageTheBreakDownOfNode52", "Node6HasTheLeafSetOfRxToReplaceNode54", "Node10HasTheLeafSetOfRxToReplaceNode54") <= 5) | (tokens-count("Node35FailureProcessedByNode6", "Node57ManageTheBreakDownOfNode5", "Node46HasTheLeafSetOfLxToReplaceNode5") <= tokens-count("Node45ManageTheBreakDownOfNode9", "Node45HasTheLeafSetOfLxToReplaceNode30", "Node17WantsToManageTheBreakDownOfNode14")))))) | (tokens-count("Node58ManageTheBreakDownOfNode28", "Node35ManageTheBreakDownOfNode16") <= 12)) | ((tokens-count("Node61WantsToManageTheBreakDownOfNode17") <= tokens-count("Node23HasTheLeafSetOfLxToReplaceNode13", "Node0FailureProcessedByNode11", "Node45HasAskedItsLeafSetToLxToReplaceNode9", "Node35HasTheLeafSetOfRxToReplaceNode40", "Node3HasAskedItsLeafSetToRxToReplaceNode37", "Node27FailureProcessedByNode56", "Node45ManageTheBreakDownOfNode46")) & ((A (G (A ((tokens-count("Node0FailureProcessedByNode4", "Node25FailureProcessedByNode35", "Node37ManageTheBreakDownOfNode51", "Node34HasAskedItsLeafSetToRxToReplaceNode43", "Node64ManageTheBreakDownOfNode13", "Node15WantsToManageTheBreakDownOfNode36", "Node62WantsToManageTheBreakDownOfNode64") <= tokens-count("Node20FailureProcessedByNode30", "Node19FailureProcessedByNode8", "Node17WantsToManageTheBreakDownOfNode51")) U (tokens-count("Node13WantsToManageTheBreakDownOfNode0", "Node32HasTheLeafSetOfLxToReplaceNode15", "Node31FailureProcessedByNode64", "Node3ManageTheBreakDownOfNode38", "Node56ManageTheBreakDownOfNode27", "Node55HasTheLeafSetOfLxToReplaceNode19", "Node16HasAskedItsLeafSetToLxToReplaceNode28", "Node49ManageTheBreakDownOfNode30", "Node5FailureProcessedByNode8", "Node34ManageTheBreakDownOfNode29") <= tokens-count("Node36WantsToManageTheBreakDownOfNode45", "Node40ManageTheBreakDownOfNode23", "Node14ManageTheBreakDownOfNode3", "Node62FailureProcessedByNode35", "Node5HasTheLeafSetOfLxToReplaceNode28", "Node31ManageTheBreakDownOfNode20")))))) | (tokens-count("Node53FailureProcessedByNode41", "Node19HasAskedItsLeafSetToLxToReplaceNode9", "Node57HasTheLeafSetOfLxToReplaceNode28", "Node19HasAskedItsLeafSetToRxToReplaceNode48", "Node7ManageTheBreakDownOfNode49", "Node50HasTheLeafSetOfLxToReplaceNode31", "Node36HasTheLeafSetOfRxToReplaceNode57", "Node54ManageTheBreakDownOfNode56", "Node19HasTheLeafSetOfRxToReplaceNode58") <= 3))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-10
   "Automatically generated by Citili v2021"
   is:
      E ((5 <= tokens-count("Node45FailureProcessedByNode26", "Node46HasAskedItsLeafSetToLxToReplaceNode20", "Node46HasTheLeafSetOfRxToReplaceNode48")) U (E (G (E (X (tokens-count("Node15WantsToManageTheBreakDownOfNode25", "Node23FailureProcessedByNode53", "Node64HasAskedItsLeafSetToLxToReplaceNode19", "Node19ManageTheBreakDownOfNode60") <= tokens-count("Node12HasAskedItsLeafSetToLxToReplaceNode26", "Node28FailureProcessedByNode24", "Node36FailureProcessedByNode41", "Node20DontAnswerToAnyNode", "Node42FailureProcessedByNode31", "Node20FailureProcessedByNode63", "Node10HasTheLeafSetOfLxToReplaceNode26", "Node1WantsToManageTheBreakDownOfNode49", "Node19ManageTheBreakDownOfNode14")))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-11
   "Automatically generated by Citili v2021"
   is:
      E (G (A (((((4 <= tokens-count("RequestOfNode62IsSentToLx", "Node40ManageTheBreakDownOfNode47", "Node17ManageTheBreakDownOfNode31", "Node32ManageTheBreakDownOfNode1", "Node63HasTheLeafSetOfLxToReplaceNode3", "Node11ManageTheBreakDownOfNode44", "Node36HasTheLeafSetOfRxToReplaceNode54", "Node49HasAskedItsLeafSetToLxToReplaceNode18", "Node21WantsToManageTheBreakDownOfNode56", "Node45HasTheLeafSetOfRxToReplaceNode46")) | (E (G (44 <= tokens-count("Node36HasAskedItsLeafSetToLxToReplaceNode5", "Node45HasAskedItsLeafSetToRxToReplaceNode58", "Node14ManageTheBreakDownOfNode46", "Node60ManageTheBreakDownOfNode50", "Node41FailureProcessedByNode47", "Node34WantsToManageTheBreakDownOfNode5", "Node35HasAskedItsLeafSetToLxToReplaceNode27", "Node5FailureProcessedByNode12"))))) | (A (G (A ((tokens-count("Node50WantsToManageTheBreakDownOfNode26", "Node8HasAskedItsLeafSetToLxToReplaceNode18", "Node51FailureProcessedByNode19", "Node18FailureProcessedByNode33", "Node7HasTheLeafSetOfLxToReplaceNode21", "Node46FailureProcessedByNode58") <= 11) U (23 <= tokens-count("Node0FailureProcessedByNode44", "Node23FailureProcessedByNode6", "Node42HasAskedItsLeafSetToRxToReplaceNode41", "Node20HasTheLeafSetOfLxToReplaceNode13", "Node14ManageTheBreakDownOfNode37"))))))) | (A (G ((A (F (tokens-count("Node15WantsToManageTheBreakDownOfNode63", "Node23FailureProcessedByNode34") <= 40))) & (E (G (tokens-count("Node63HasAskedItsLeafSetToLxToReplaceNode16") <= tokens-count("Node29HasAskedItsLeafSetToRxToReplaceNode34", "Node6HasAskedItsLeafSetToLxToReplaceNode16", "Node27WantsToManageTheBreakDownOfNode40", "Node50FailureProcessedByNode25", "Node1ManageTheBreakDownOfNode60", "Node43WantsToManageTheBreakDownOfNode46", "Node56FailureProcessedByNode53", "Node16FailureProcessedByNode50")))))))) U ((! (((tokens-count("Node44ManageTheBreakDownOfNode49", "Node27FailureProcessedByNode44", "Node33WantsToManageTheBreakDownOfNode58", "Node39HasAskedItsLeafSetToLxToReplaceNode8", "Node14WantsToManageTheBreakDownOfNode47", "LxHasReceivedTheRequestOfNode26", "Node5WantsToManageTheBreakDownOfNode8") <= tokens-count("Node50ManageTheBreakDownOfNode17", "Node40WantsToManageTheBreakDownOfNode22")) & (E (F (tokens-count("Node54ManageTheBreakDownOfNode61", "Node11ManageTheBreakDownOfNode34", "Node59HasAskedItsLeafSetToRxToReplaceNode49", "Node26HasTheLeafSetOfLxToReplaceNode29", "Node13ManageTheBreakDownOfNode44", "Node58FailureProcessedByNode43", "Node24HasAskedItsLeafSetToLxToReplaceNode21", "Node18FailureProcessedByNode61", "Node54WantsToManageTheBreakDownOfNode61") <= tokens-count("Node48ManageTheBreakDownOfNode64", "Node8ManageTheBreakDownOfNode10", "Node12FailureProcessedByNode36", "Node1FailureProcessedByNode26"))))) | (tokens-count("Node52WantsToManageTheBreakDownOfNode8", "Node0ManageTheBreakDownOfNode36", "Node22WantsToManageTheBreakDownOfNode40") <= tokens-count("Node4ManageTheBreakDownOfNode33")))) | (E (F (tokens-count("Node12HasAskedItsLeafSetToLxToReplaceNode8", "Node4WantsToManageTheBreakDownOfNode2", "Node1WantsToManageTheBreakDownOfNode25", "Node59FailureProcessedByNode60", "Node34WantsToManageTheBreakDownOfNode62", "Node43HasTheLeafSetOfRxToReplaceNode37", "Node58WantsToManageTheBreakDownOfNode64", "Node62HasTheLeafSetOfLxToReplaceNode26", "Node59ManageTheBreakDownOfNode39") <= tokens-count("Node6ManageTheBreakDownOfNode54", "Node47HasAskedItsLeafSetToRxToReplaceNode52", "Node20HasAskedItsLeafSetToLxToReplaceNode21", "Node48HasAskedItsLeafSetToLxToReplaceNode23", "Node61HasAskedItsLeafSetToLxToReplaceNode8", "Node10HasTheLeafSetOfLxToReplaceNode8", "Node15WantsToManageTheBreakDownOfNode47", "Node57FailureProcessedByNode62", "Node9HasAskedItsLeafSetToLxToReplaceNode27"))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-12
   "Automatically generated by Citili v2021"
   is:
      ! (A (F ((E ((((A (F (tokens-count("Node19HasTheLeafSetOfRxToReplaceNode59", "Node45WantsToManageTheBreakDownOfNode53", "Node26WantsToManageTheBreakDownOfNode59", "Node14ManageTheBreakDownOfNode0", "Node38HasAskedItsLeafSetToLxToReplaceNode26", "Node51HasTheLeafSetOfRxToReplaceNode49", "Node5HasTheLeafSetOfLxToReplaceNode16", "Node15FailureProcessedByNode56", "Node42DontAnswerToAnyNode") <= tokens-count("Node12HasTheLeafSetOfRxToReplaceNode37")))) | (! (25 <= tokens-count("Node48FailureProcessedByNode54", "Node62WantsToManageTheBreakDownOfNode55", "Node1HasTheLeafSetOfLxToReplaceNode15", "Node33HasAskedItsLeafSetToLxToReplaceNode9", "Node60FailureProcessedByNode52", "Node44FailureProcessedByNode25", "Node44FailureProcessedByNode28", "Node27HasTheLeafSetOfRxToReplaceNode47", "Node17HasTheLeafSetOfLxToReplaceNode32", "Node4ManageTheBreakDownOfNode56")))) | (! (E (G (15 <= tokens-count("Node32HasAskedItsLeafSetToLxToReplaceNode28", "Node20HasTheLeafSetOfLxToReplaceNode11", "Node50FailureProcessedByNode45", "Node5ManageTheBreakDownOfNode26", "Node55FailureProcessedByNode15", "Node59HasTheLeafSetOfLxToReplaceNode21", "Node55HasTheLeafSetOfLxToReplaceNode19", "Node51WantsToManageTheBreakDownOfNode9", "Node48ManageTheBreakDownOfNode34")))))) U ((! ((tokens-count("RxHasReceivedTheRequestOfNode40") <= 12) | (36 <= tokens-count("Node22ManageTheBreakDownOfNode24", "Node3WantsToManageTheBreakDownOfNode45")))) | (A (F (37 <= tokens-count("Node44HasAskedItsLeafSetToLxToReplaceNode21", "Node49ManageTheBreakDownOfNode14", "Node27HasAskedItsLeafSetToRxToReplaceNode48", "Node1ManageTheBreakDownOfNode26", "Node0WantsToManageTheBreakDownOfNode57", "Node38FailureProcessedByNode8", "Node10HasTheLeafSetOfRxToReplaceNode39", "Node13HasTheLeafSetOfRxToReplaceNode51", "Node55FailureProcessedByNode63"))))))) & ((E ((! ((26 <= tokens-count("Node55ManageTheBreakDownOfNode4", "Node63WantsToManageTheBreakDownOfNode4", "Node24HasTheLeafSetOfRxToReplaceNode53")) | (tokens-count("Node22HasAskedItsLeafSetToLxToReplaceNode30", "Node28WantsToManageTheBreakDownOfNode4", "Node22WantsToManageTheBreakDownOfNode47", "Node7HasTheLeafSetOfRxToReplaceNode64", "Node15HasTheLeafSetOfLxToReplaceNode17", "Node21HasTheLeafSetOfRxToReplaceNode44", "Node35FailureProcessedByNode7", "Node22ManageTheBreakDownOfNode6") <= 14))) U (A (F (tokens-count("Node17ManageTheBreakDownOfNode30", "Node14HasTheLeafSetOfLxToReplaceNode11", "Node38HasAskedItsLeafSetToRxToReplaceNode44", "Node40ManageTheBreakDownOfNode9", "Node37HasAskedItsLeafSetToRxToReplaceNode45", "Node56WantsToManageTheBreakDownOfNode3", "Node3HasAskedItsLeafSetToRxToReplaceNode51") <= 35))))) & (! (! (E ((tokens-count("Node47ManageTheBreakDownOfNode5") <= 41) U (3 <= tokens-count("Node8ManageTheBreakDownOfNode50", "Node34HasTheLeafSetOfLxToReplaceNode11", "Node35HasTheLeafSetOfLxToReplaceNode31", "Node53HasAskedItsLeafSetToLxToReplaceNode21", "Node21FailureProcessedByNode55", "Node29ManageTheBreakDownOfNode20", "Node18HasAskedItsLeafSetToRxToReplaceNode58", "Node55FailureProcessedByNode32", "Node5FailureProcessedByNode24", "Node9HasAskedItsLeafSetToLxToReplaceNode23"))))))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-13
   "Automatically generated by Citili v2021"
   is:
      A (G (((((! (3 <= tokens-count("Node6WantsToManageTheBreakDownOfNode36", "Node14HasTheLeafSetOfRxToReplaceNode46", "Node6WantsToManageTheBreakDownOfNode30", "Node0HasAskedItsLeafSetToRxToReplaceNode51", "Node25HasAskedItsLeafSetToLxToReplaceNode7", "Node31FailureProcessedByNode9", "Node57FailureProcessedByNode20", "Node13HasAskedItsLeafSetToLxToReplaceNode31"))) & (E (X ((tokens-count("Node12HasAskedItsLeafSetToLxToReplaceNode16", "Node58WantsToManageTheBreakDownOfNode41", "Node63FailureProcessedByNode55", "Node37ManageTheBreakDownOfNode47", "Node7WantsToManageTheBreakDownOfNode34") <= 36) | (tokens-count("Node56WantsToManageTheBreakDownOfNode46", "Node13FailureProcessedByNode23", "Node5HasAskedItsLeafSetToRxToReplaceNode56", "Node29ManageTheBreakDownOfNode8", "Node10FailureProcessedByNode26", "Node35FailureProcessedByNode0", "Node6WantsToManageTheBreakDownOfNode39") <= tokens-count("Node36ManageTheBreakDownOfNode48")))))) & (E (F (A (F (tokens-count("Node57HasAskedItsLeafSetToRxToReplaceNode60", "Node10HasTheLeafSetOfRxToReplaceNode44", "Node40HasTheLeafSetOfRxToReplaceNode54", "Node63ManageTheBreakDownOfNode44", "Node4ManageTheBreakDownOfNode1", "Node15WantsToManageTheBreakDownOfNode36", "Node28ManageTheBreakDownOfNode22", "Node4HasAskedItsLeafSetToLxToReplaceNode17") <= tokens-count("Node23WantsToManageTheBreakDownOfNode26"))))))) | (! (((E ((tokens-count("Node47FailureProcessedByNode41", "Node40WantsToManageTheBreakDownOfNode42", "Node1WantsToManageTheBreakDownOfNode58", "Node43HasTheLeafSetOfRxToReplaceNode37", "LxHasReceivedTheRequestOfNode20", "Node8HasAskedItsLeafSetToLxToReplaceNode22", "Node6WantsToManageTheBreakDownOfNode62", "Node15HasTheLeafSetOfRxToReplaceNode35", "Node4WantsToManageTheBreakDownOfNode7") <= tokens-count("Node37ManageTheBreakDownOfNode11", "Node10FailureProcessedByNode28", "Node24FailureProcessedByNode58", "Node14FailureProcessedByNode45", "Node63HasTheLeafSetOfLxToReplaceNode2", "Node2ManageTheBreakDownOfNode15")) U (tokens-count("Node14HasAskedItsLeafSetToLxToReplaceNode10", "Node19WantsToManageTheBreakDownOfNode49", "Node25HasTheLeafSetOfLxToReplaceNode29", "Node24FailureProcessedByNode55", "Node32FailureProcessedByNode37", "Node46HasAskedItsLeafSetToLxToReplaceNode24") <= tokens-count("Node48HasTheLeafSetOfLxToReplaceNode4", "Node28ManageTheBreakDownOfNode25", "Node47HasAskedItsLeafSetToRxToReplaceNode33", "Node12HasAskedItsLeafSetToRxToReplaceNode52")))) & (((tokens-count("Node54ManageTheBreakDownOfNode39", "Node53HasTheLeafSetOfRxToReplaceNode60", "Node58FailureProcessedByNode30", "Node5HasAskedItsLeafSetToRxToReplaceNode63", "Node2FailureProcessedByNode6", "Node31WantsToManageTheBreakDownOfNode5") <= tokens-count("Node15FailureProcessedByNode18")) | (tokens-count("Node12WantsToManageTheBreakDownOfNode18", "Node47FailureProcessedByNode51", "Node33WantsToManageTheBreakDownOfNode57", "Node25HasAskedItsLeafSetToRxToReplaceNode47", "Node41FailureProcessedByNode39", "Node42WantsToManageTheBreakDownOfNode50", "Node15WantsToManageTheBreakDownOfNode6", "Node55FailureProcessedByNode14") <= tokens-count("Node27HasTheLeafSetOfLxToReplaceNode5", "Node29WantsToManageTheBreakDownOfNode33", "Node15HasTheLeafSetOfRxToReplaceNode34", "Node32FailureProcessedByNode22", "Node43ManageTheBreakDownOfNode29", "Node33HasAskedItsLeafSetToRxToReplaceNode52", "Node27HasAskedItsLeafSetToLxToReplaceNode13", "Node32HasTheLeafSetOfLxToReplaceNode16", "Node33HasTheLeafSetOfLxToReplaceNode10", "Node28WantsToManageTheBreakDownOfNode51"))) & ((10 <= tokens-count("Node11HasTheLeafSetOfLxToReplaceNode8", "RequestOfNode34IsSentToLx", "Node31ManageTheBreakDownOfNode40", "Node8ManageTheBreakDownOfNode32", "Node64ManageTheBreakDownOfNode55")) & (tokens-count("Node48FailureProcessedByNode35", "Node53FailureProcessedByNode64", "Node36FailureProcessedByNode19", "Node42FailureProcessedByNode24", "Node11ManageTheBreakDownOfNode10", "Node37WantsToManageTheBreakDownOfNode25", "Node38FailureProcessedByNode27", "Node45WantsToManageTheBreakDownOfNode10", "Node39ManageTheBreakDownOfNode6") <= tokens-count("Node49ManageTheBreakDownOfNode51", "Node2ManageTheBreakDownOfNode40"))))) & (! ((24 <= tokens-count("Node15FailureProcessedByNode56", "Node37HasAskedItsLeafSetToLxToReplaceNode19", "NoNodeManageTheBreakDownOfNode59", "Node18HasAskedItsLeafSetToLxToReplaceNode2", "Node14HasAskedItsLeafSetToLxToReplaceNode8", "Node60HasAskedItsLeafSetToLxToReplaceNode13", "Node36ManageTheBreakDownOfNode5", "Node42HasTheLeafSetOfLxToReplaceNode22", "Node40HasAskedItsLeafSetToLxToReplaceNode6")) & ((1 <= tokens-count("Node30HasTheLeafSetOfRxToReplaceNode50", "Node53HasAskedItsLeafSetToLxToReplaceNode24", "Node0WantsToManageTheBreakDownOfNode40")) | (41 <= tokens-count("Node62WantsToManageTheBreakDownOfNode10", "Node11FailureProcessedByNode15", "Node17ManageTheBreakDownOfNode44", "Node18HasAskedItsLeafSetToLxToReplaceNode29")))))))) | ((A ((tokens-count("Node2ManageTheBreakDownOfNode6", "Node12Failure", "Node47FailureProcessedByNode29", "Node35ManageTheBreakDownOfNode28", "Node33WantsToManageTheBreakDownOfNode3", "Node3HasTheLeafSetOfRxToReplaceNode42") <= 4) U ((((tokens-count("Node14FailureProcessedByNode13", "Node17ManageTheBreakDownOfNode26", "Node33FailureProcessedByNode37", "Node62WantsToManageTheBreakDownOfNode8", "Node20FailureProcessedByNode2", "Node0WantsToManageTheBreakDownOfNode46", "Node1HasTheLeafSetOfLxToReplaceNode32", "Node63HasTheLeafSetOfLxToReplaceNode22") <= tokens-count("Node36WantsToManageTheBreakDownOfNode29", "Node13HasTheLeafSetOfLxToReplaceNode11", "Node35HasTheLeafSetOfRxToReplaceNode59", "Node18Failure", "Node11HasAskedItsLeafSetToRxToReplaceNode46", "Node42FailureProcessedByNode51", "Node45FailureProcessedByNode41", "Node36HasTheLeafSetOfLxToReplaceNode31", "Node58HasTheLeafSetOfRxToReplaceNode51")) & (46 <= tokens-count("Node46WantsToManageTheBreakDownOfNode62", "Node18FailureProcessedByNode56", "Node7HasTheLeafSetOfLxToReplaceNode2", "Node35ManageTheBreakDownOfNode58", "Node62FailureProcessedByNode9"))) | (A (G (tokens-count("Node10ManageTheBreakDownOfNode25", "Node53HasTheLeafSetOfLxToReplaceNode27", "Node4FailureProcessedByNode8", "Node42FailureProcessedByNode30", "Node62ManageTheBreakDownOfNode7", "Node0FailureProcessedByNode5", "Node39HasTheLeafSetOfLxToReplaceNode21", "Node18FailureProcessedByNode43") <= 8)))) | (E (X (tokens-count("Node30HasTheLeafSetOfLxToReplaceNode23") <= 36)))))) | (! (32 <= tokens-count("Node42FailureProcessedByNode46", "Node16HasAskedItsLeafSetToRxToReplaceNode59", "Node36WantsToManageTheBreakDownOfNode41", "LeafSetOfLxIsSentToNode50", "Node12ManageTheBreakDownOfNode30"))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-14
   "Automatically generated by Citili v2021"
   is:
      A (X (! (A (X (((! (tokens-count("Node58ManageTheBreakDownOfNode33") <= 19)) | ((tokens-count("Node25ManageTheBreakDownOfNode10", "Node47WantsToManageTheBreakDownOfNode23", "Node30ManageTheBreakDownOfNode64", "Node45HasTheLeafSetOfLxToReplaceNode31", "Node20WantsToManageTheBreakDownOfNode24", "Node38WantsToManageTheBreakDownOfNode18", "Node29ManageTheBreakDownOfNode19", "Node63FailureProcessedByNode47", "Node30HasAskedItsLeafSetToLxToReplaceNode28") <= tokens-count("Node40FailureProcessedByNode3")) & (14 <= tokens-count("Node5FailureProcessedByNode56", "Node31HasTheLeafSetOfLxToReplaceNode28", "Node28FailureProcessedByNode51", "Node41WantsToManageTheBreakDownOfNode21", "Node44HasTheLeafSetOfRxToReplaceNode46", "Node23HasTheLeafSetOfRxToReplaceNode59", "Node13HasTheLeafSetOfRxToReplaceNode62", "Node64HasAskedItsLeafSetToRxToReplaceNode36", "Node54HasAskedItsLeafSetToRxToReplaceNode37")))) | (46 <= tokens-count("Node27ManageTheBreakDownOfNode0", "Node15ManageTheBreakDownOfNode47", "Node39HasAskedItsLeafSetToLxToReplaceNode25", "Node27ManageTheBreakDownOfNode63", "Node50WantsToManageTheBreakDownOfNode11", "Node34HasAskedItsLeafSetToLxToReplaceNode8", "Node57Failure", "NoNodeManageTheBreakDownOfNode62")))))))
   end.
Property LeafsetExtension-PT-S64C4-CTLCardinality-15
   "Automatically generated by Citili v2021"
   is:
      E (G (E ((A (X (tokens-count("Node12HasTheLeafSetOfRxToReplaceNode39", "Node0FailureProcessedByNode1", "Node27ManageTheBreakDownOfNode10", "Node56HasTheLeafSetOfLxToReplaceNode22", "Node48WantsToManageTheBreakDownOfNode32", "Node32WantsToManageTheBreakDownOfNode56", "Node30ManageTheBreakDownOfNode7", "Node4FailureProcessedByNode27") <= tokens-count("Node30HasTheLeafSetOfLxToReplaceNode0", "Node16HasTheLeafSetOfLxToReplaceNode13")))) U (A (((A (F (8 <= tokens-count("Node0FailureProcessedByNode40", "Node46FailureProcessedByNode48", "Node44WantsToManageTheBreakDownOfNode36", "Node20ManageTheBreakDownOfNode56", "Node52WantsToManageTheBreakDownOfNode29", "Node30HasAskedItsLeafSetToRxToReplaceNode34", "Node55HasAskedItsLeafSetToRxToReplaceNode50", "Node35WantsToManageTheBreakDownOfNode2", "Node23HasAskedItsLeafSetToRxToReplaceNode35", "Node48FailureProcessedByNode37")))) | (E (X (15 <= tokens-count("Node20ManageTheBreakDownOfNode29", "Node44HasTheLeafSetOfRxToReplaceNode36", "Node47ManageTheBreakDownOfNode51", "Node58HasAskedItsLeafSetToRxToReplaceNode50", "Node28HasAskedItsLeafSetToRxToReplaceNode44", "Node33HasTheLeafSetOfLxToReplaceNode13", "Node9HasTheLeafSetOfRxToReplaceNode50", "Node20HasAskedItsLeafSetToRxToReplaceNode42"))))) U (! (! ((35 <= tokens-count("Node30WantsToManageTheBreakDownOfNode35", "Node57HasAskedItsLeafSetToRxToReplaceNode58", "Node34ManageTheBreakDownOfNode8", "Node39HasTheLeafSetOfLxToReplaceNode14")) | (tokens-count("Node4FailureProcessedByNode13", "Node39HasAskedItsLeafSetToLxToReplaceNode0", "Node62HasTheLeafSetOfLxToReplaceNode9", "Node43HasAskedItsLeafSetToRxToReplaceNode49", "Node27FailureProcessedByNode36", "Node53HasTheLeafSetOfRxToReplaceNode57", "Node43HasTheLeafSetOfLxToReplaceNode26", "Node26HasAskedItsLeafSetToRxToReplaceNode64", "Node35FailureProcessedByNode41") <= 2)))))))))
   end.
