Property LeafsetExtension-PT-S64C4-00
  "Automatically generated"
  is:
    A (G (G ((#tokens("Node1HasTheLeafSetOfLxToReplaceNode27")) <= (#tokens("Node41WantsToManageTheBreakDownOfNode46"))) | X !X (((#tokens("Node1HasTheLeafSetOfLxToReplaceNode27")) <= (#tokens("Node41WantsToManageTheBreakDownOfNode46"))) | ((1) <= (#tokens("Node40HasAskedItsLeafSetToLxToReplaceNode19"))))) & F (((3) <= (#tokens("Node16HasTheLeafSetOfLxToReplaceNode9"))) U ((1) <= (#tokens("Node40HasAskedItsLeafSetToLxToReplaceNode19")))))
  end.
Property LeafsetExtension-PT-S64C4-01
  "Automatically generated"
  is:
    A G (X ((2) <= (#tokens("Node25HasAskedItsLeafSetToRxToReplaceNode49"))) U G F X (F X ((#tokens("LxHasReceivedTheRequestOfNode64")) <= (#tokens("RequestOfNode18IsSentToRx"))) | F G X ((1) <= (#tokens("Node47FailureProcessedByNode22")))))
  end.
Property LeafsetExtension-PT-S64C4-02
  "Automatically generated"
  is:
    A (X (((3) <= (#tokens("Node57HasTheLeafSetOfRxToReplaceNode48"))) & (((#tokens("Node17HasTheLeafSetOfLxToReplaceNode30")) <= (#tokens("Node21HasAskedItsLeafSetToLxToReplaceNode1"))) U !(((1) <= (#tokens("Node35HasAskedItsLeafSetToRxToReplaceNode57"))) U !X ((1) <= (#tokens("Node35HasAskedItsLeafSetToRxToReplaceNode57")))))) | (((3) <= (#tokens("Node57HasTheLeafSetOfRxToReplaceNode48"))) U ((1) <= (#tokens("Node35HasAskedItsLeafSetToRxToReplaceNode57")))))
  end.
Property LeafsetExtension-PT-S64C4-03
  "Automatically generated"
  is:
    A (F X !((#tokens("Node33ManageTheBreakDownOfNode63")) <= (#tokens("Node4ManageTheBreakDownOfNode35"))) & G F ((#tokens("Node37Failure")) <= (#tokens("Node24HasTheLeafSetOfLxToReplaceNode0"))))
  end.
Property LeafsetExtension-PT-S64C4-04
  "Automatically generated"
  is:
    A (F (((#tokens("Node60HasAskedItsLeafSetToLxToReplaceNode27")) <= (#tokens("Node4ManageTheBreakDownOfNode59"))) | ((#tokens("Node60FailureProcessedByNode28")) <= (#tokens("LeafSetOfRxIsSentToNode28")))) & (((#tokens("Node60HasAskedItsLeafSetToLxToReplaceNode27")) <= (#tokens("Node4ManageTheBreakDownOfNode59"))) | G !(((#tokens("Node60FailureProcessedByNode28")) <= (#tokens("LeafSetOfRxIsSentToNode28"))) | (((#tokens("Node5HasTheLeafSetOfLxToReplaceNode22")) <= (#tokens("Node28HasTheLeafSetOfRxToReplaceNode58"))) U !((#tokens("Node5HasTheLeafSetOfLxToReplaceNode22")) <= (#tokens("Node28HasTheLeafSetOfRxToReplaceNode58")))))))
  end.
Property LeafsetExtension-PT-S64C4-05
  "Automatically generated"
  is:
    A G (X F ((3) <= (#tokens("Node18HasAskedItsLeafSetToLxToReplaceNode15"))) | (G X F ((2) <= (#tokens("Node42WantsToManageTheBreakDownOfNode17"))) U F G ((#tokens("Node32FailureProcessedByNode38")) <= (#tokens("Node0ManageTheBreakDownOfNode63")))))
  end.
Property LeafsetExtension-PT-S64C4-06
  "Automatically generated"
  is:
    A (G (((0) <= (#tokens("Node59HasAskedItsLeafSetToRxToReplaceNode38"))) | G ((#tokens("Node58HasTheLeafSetOfLxToReplaceNode0")) <= (#tokens("Node18ManageTheBreakDownOfNode34")))) | X ((0) <= (#tokens("Node59HasAskedItsLeafSetToRxToReplaceNode38"))))
  end.
Property LeafsetExtension-PT-S64C4-07
  "Automatically generated"
  is:
    A F G !F (!((3) <= (#tokens("Node1WantsToManageTheBreakDownOfNode11"))) | F ((#tokens("Node22HasAskedItsLeafSetToRxToReplaceNode48")) <= (#tokens("Node55HasTheLeafSetOfLxToReplaceNode15"))) | G F ((#tokens("Node57HasAskedItsLeafSetToLxToReplaceNode19")) <= (#tokens("Node36ManageTheBreakDownOfNode25"))))
  end.
Property LeafsetExtension-PT-S64C4-08
  "Automatically generated"
  is:
    A !(((#tokens("Node10HasAskedItsLeafSetToRxToReplaceNode55")) <= (#tokens("Node28HasTheLeafSetOfRxToReplaceNode45"))) | ((#tokens("Node46HasAskedItsLeafSetToRxToReplaceNode36")) <= (#tokens("Node64FailureProcessedByNode63"))) | X ((2) <= (#tokens("Node42HasAskedItsLeafSetToRxToReplaceNode62"))) | X X F X ((#tokens("Node10HasAskedItsLeafSetToRxToReplaceNode55")) <= (#tokens("Node28HasTheLeafSetOfRxToReplaceNode45"))))
  end.
Property LeafsetExtension-PT-S64C4-09
  "Automatically generated"
  is:
    A X F ((0) <= (#tokens("Node14FailureProcessedByNode5")))
  end.
Property LeafsetExtension-PT-S64C4-10
  "Automatically generated"
  is:
    A !(((#tokens("Node64FailureProcessedByNode33")) <= (#tokens("Node30HasTheLeafSetOfRxToReplaceNode57"))) | !X (G !((#tokens("Node64FailureProcessedByNode37")) <= (#tokens("Node46HasAskedItsLeafSetToRxToReplaceNode39"))) U G (((0) <= (#tokens("Node46WantsToManageTheBreakDownOfNode48"))) U G !((#tokens("Node64FailureProcessedByNode37")) <= (#tokens("Node46HasAskedItsLeafSetToRxToReplaceNode39"))))))
  end.
Property LeafsetExtension-PT-S64C4-11
  "Automatically generated"
  is:
    A F ((3) <= (#tokens("Node48WantsToManageTheBreakDownOfNode51")))
  end.
Property LeafsetExtension-PT-S64C4-12
  "Automatically generated"
  is:
    A ((((1) <= (#tokens("Node60WantsToManageTheBreakDownOfNode44"))) & (((#tokens("Node19HasTheLeafSetOfLxToReplaceNode8")) <= (#tokens("Node6WantsToManageTheBreakDownOfNode24"))) | X (((#tokens("Node26ManageTheBreakDownOfNode13")) <= (#tokens("Node21HasAskedItsLeafSetToLxToReplaceNode27"))) & F ((#tokens("Node19HasTheLeafSetOfLxToReplaceNode8")) <= (#tokens("Node6WantsToManageTheBreakDownOfNode24")))))) U (((#tokens("Node26ManageTheBreakDownOfNode13")) <= (#tokens("Node21HasAskedItsLeafSetToLxToReplaceNode27"))) & ((1) <= (#tokens("Node60WantsToManageTheBreakDownOfNode44")))))
  end.
Property LeafsetExtension-PT-S64C4-13
  "Automatically generated"
  is:
    A (!((#tokens("Node18ManageTheBreakDownOfNode47")) <= (#tokens("Node0HasAskedItsLeafSetToRxToReplaceNode40"))) | G (((#tokens("Node18ManageTheBreakDownOfNode47")) <= (#tokens("Node0HasAskedItsLeafSetToRxToReplaceNode40"))) & ((#tokens("Node63WantsToManageTheBreakDownOfNode7")) <= (#tokens("Node21WantsToManageTheBreakDownOfNode15")))))
  end.
Property LeafsetExtension-PT-S64C4-14
  "Automatically generated"
  is:
    A X G (F G X ((1) <= (#tokens("Node60HasTheLeafSetOfLxToReplaceNode30"))) U !F X ((#tokens("Node19ManageTheBreakDownOfNode39")) <= (#tokens("Node43ManageTheBreakDownOfNode28"))))
  end.
Property LeafsetExtension-PT-S64C4-15
  "Automatically generated"
  is:
    A ((F (((0) <= (#tokens("Node47HasAskedItsLeafSetToLxToReplaceNode19"))) U X !((1) <= (#tokens("Node43WantsToManageTheBreakDownOfNode63")))) | G (((1) <= (#tokens("Node43WantsToManageTheBreakDownOfNode63"))) U ((#tokens("Node20HasAskedItsLeafSetToLxToReplaceNode9")) <= (#tokens("Node57HasTheLeafSetOfLxToReplaceNode20"))))) U ((3) <= (#tokens("Node54HasAskedItsLeafSetToLxToReplaceNode2"))))
  end.
