Property DLCflexbar-PT-8b-ReachabilityCardinality-00
  "Automatically generated"
  is:
    A G ((#tokens("p40868")) <= (#tokens("p30285")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ((((! ((#tokens("p2506")) <= (#tokens("p21240")))) & (((#tokens("p12129")) <= (#tokens("p17515")))))) & (((((3) <= (#tokens("p1559")))) | (! ((3) <= (#tokens("p26770")))))))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-02
  "Automatically generated"
  is:
    A G ! ! ! ((2) <= (#tokens("p17075")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ! ((((((2) <= (#tokens("p15651")))) | (((#tokens("p25906")) <= (#tokens("p44839")))))) | (! ((1) <= (#tokens("p13397")))))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ! ((#tokens("p4714")) <= (#tokens("p25226")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-05
  "Automatically generated"
  is:
    A G ((#tokens("p30335")) <= (#tokens("p8434")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ((((((((3) <= (#tokens("p31000")))) & (((1) <= (#tokens("p40912")))))) & (! ((#tokens("p1161")) <= (#tokens("p20689")))))) | (((2) <= (#tokens("p37848")))))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ((((! ((1) <= (#tokens("p11683")))) & (((((2) <= (#tokens("p29858")))) | (((3) <= (#tokens("p6256")))))))) & (! ! ((#tokens("p6264")) <= (#tokens("p20183")))))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((! ((((3) <= (#tokens("p32596")))) | (((3) <= (#tokens("p37091")))))) & (! ((((#tokens("p33544")) <= (#tokens("p14825")))) & (((#tokens("p20429")) <= (#tokens("p25656")))))))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-09
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p16496")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p19008")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-11
  "Automatically generated"
  is:
    A G ((#tokens("p35821")) <= (#tokens("p6994")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((((! ((2) <= (#tokens("p22979")))) & (((((#tokens("p33472")) <= (#tokens("p28142")))) | (((#tokens("p16122")) <= (#tokens("p25768")))))))) | (! ((((1) <= (#tokens("p31326")))) | (((1) <= (#tokens("p32244")))))))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-13
  "Automatically generated"
  is:
    A G ((((((((2) <= (#tokens("p31094")))) | (((#tokens("p27867")) <= (#tokens("p35693")))))) | (((((#tokens("p5621")) <= (#tokens("p27874")))) | (((3) <= (#tokens("p15696")))))))) | (((#tokens("p36155")) <= (#tokens("p23696")))))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("p36148")))
  end.
Property DLCflexbar-PT-8b-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ((#tokens("p1401")) <= (#tokens("p28006")))
  end.
