Property StigmergyCommit-PT-10b-ReachabilityFireability-00
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t265500")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-01
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t266353")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-02
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t97599"))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-03
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t103618"))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-04
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t168944")) | (is-fireable("t51846"))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-05
   "Automatically generated by Citili v2022"
   is:
      A (G (! (! (((! ((is-fireable("t196268")) | ((is-fireable("t69307")) & ((is-fireable("t240007")) & ((is-fireable("t141142")) | (is-fireable("t107630"))))))) & (is-fireable("t1204"))) | ((! ((is-fireable("t32621")) | (((! (is-fireable("t36561"))) | (is-fireable("t181362"))) | (is-fireable("t254318"))))) | (((is-fireable("t152697")) | (! ((! (is-fireable("t270670"))) & (is-fireable("t121937"))))) | ((is-fireable("t81238")) & (is-fireable("t87122")))))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-06
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((((is-fireable("t1990")) & (((! (is-fireable("t73258"))) & (is-fireable("t357472"))) & (is-fireable("t145491")))) | (! ((! (((is-fireable("t65938")) & (is-fireable("t100285"))) & ((is-fireable("t152052")) & (is-fireable("t345692"))))) & (is-fireable("t261208"))))) | (! ((! ((! ((is-fireable("t40186")) | (is-fireable("t54019")))) | (((is-fireable("t190343")) & (is-fireable("t178044"))) & ((is-fireable("t305129")) | (is-fireable("t228545")))))) | (is-fireable("t167640"))))) & (! (! (((! (! (! (is-fireable("t112686"))))) & (is-fireable("t62528"))) | (is-fireable("t136188"))))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-07
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t277604")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-08
   "Automatically generated by Citili v2022"
   is:
      A (G ((((! (((((is-fireable("t214654")) | ((is-fireable("t325805")) | (is-fireable("t14907")))) | (! (is-fireable("t275861")))) | ((is-fireable("t277115")) | (((is-fireable("t178748")) | (is-fireable("t300825"))) | (! (is-fireable("t326426")))))) | ((((! (is-fireable("t249381"))) & ((is-fireable("t60130")) | (is-fireable("t40194")))) & (((is-fireable("t144817")) & (is-fireable("t124415"))) & ((is-fireable("t302308")) | (is-fireable("t11468"))))) | (((! (is-fireable("t198383"))) & (! (is-fireable("t206904")))) | (((is-fireable("t281532")) & (is-fireable("t126374"))) & (is-fireable("t298591"))))))) | ((is-fireable("t283913")) | (is-fireable("t225361")))) | ((is-fireable("t113239")) | (! (is-fireable("t242040"))))) | (is-fireable("t314482"))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-09
   "Automatically generated by Citili v2022"
   is:
      A (G (! (is-fireable("t23766"))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-10
   "Automatically generated by Citili v2022"
   is:
      E (F ((! (is-fireable("t17600"))) & ((((((is-fireable("t101452")) | (is-fireable("t221172"))) | (((! ((is-fireable("t129886")) | (is-fireable("t304345")))) | (((is-fireable("t174032")) | (is-fireable("t49990"))) & ((is-fireable("t207038")) & (is-fireable("t58079"))))) & ((! (! (is-fireable("t301778")))) & (is-fireable("t160586"))))) & (((! ((is-fireable("t62019")) | (is-fireable("t332271")))) & (is-fireable("t58022"))) | ((is-fireable("t7637")) | ((is-fireable("t55014")) | (! (! (is-fireable("t329998")))))))) | ((((! (is-fireable("t155819"))) & (((! (is-fireable("t35878"))) & (! (is-fireable("t126833")))) & ((! (is-fireable("t339755"))) | (is-fireable("t29442"))))) & (! (((! (is-fireable("t107361"))) | (! (is-fireable("t203432")))) & (! ((is-fireable("t356291")) | (is-fireable("t337086"))))))) & ((is-fireable("t58480")) | ((is-fireable("t348640")) | (is-fireable("t247342")))))) & (((! ((((is-fireable("t62956")) & (is-fireable("t240882"))) | (! (is-fireable("t100619")))) | ((((is-fireable("t13631")) | (is-fireable("t154875"))) & (! (is-fireable("t155828")))) | (! (is-fireable("t114313")))))) | ((! (! (is-fireable("t187554")))) & (! (is-fireable("t167685"))))) & (! ((is-fireable("t189334")) & (is-fireable("t155813"))))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-11
   "Automatically generated by Citili v2022"
   is:
      A (G (! (((is-fireable("t66626")) | ((is-fireable("t281488")) | (((is-fireable("t146425")) | (is-fireable("t259080"))) & (! (((is-fireable("t201126")) & (! (is-fireable("t68400")))) | (! (! (is-fireable("t86842"))))))))) | (is-fireable("t289895")))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-12
   "Automatically generated by Citili v2022"
   is:
      E (F ((is-fireable("t245971")) & (! (((((is-fireable("t212486")) | (is-fireable("t259535"))) & ((is-fireable("t8193")) & ((((is-fireable("t286496")) & (is-fireable("t348394"))) | ((is-fireable("t52048")) & (is-fireable("t319701")))) & ((! (is-fireable("t95326"))) & ((is-fireable("t192230")) & (is-fireable("t286440"))))))) & ((is-fireable("t205066")) & (! ((is-fireable("t253756")) | (is-fireable("t309098")))))) | (((! ((! ((is-fireable("t235716")) | (is-fireable("t145670")))) | (((is-fireable("t294322")) & (is-fireable("t351174"))) & ((is-fireable("t83248")) | (is-fireable("t295143")))))) & ((! (is-fireable("t254452"))) & ((! ((is-fireable("t244729")) | (is-fireable("t326403")))) & (! ((is-fireable("t244642")) & (is-fireable("t304143"))))))) | (! (is-fireable("t296044"))))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-13
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t4718")))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-14
   "Automatically generated by Citili v2022"
   is:
      A (G ((! (! (((! (is-fireable("t276703"))) & (((((is-fireable("t188650")) & (is-fireable("t113971"))) & ((is-fireable("t340202")) & (is-fireable("t331032")))) & (((is-fireable("t107980")) & (is-fireable("t201898"))) | (is-fireable("t327947")))) | (! (is-fireable("t182723"))))) & (! (! (is-fireable("t23829"))))))) | (! ((! ((! ((((is-fireable("t200300")) & (is-fireable("t286010"))) | (! (is-fireable("t326367")))) | (((is-fireable("t194340")) | (is-fireable("t30027"))) | (! (is-fireable("t283417")))))) | (is-fireable("t122561")))) & (is-fireable("t131024"))))))
   end.
Property StigmergyCommit-PT-10b-ReachabilityFireability-15
   "Automatically generated by Citili v2022"
   is:
      E (F (is-fireable("t323726")))
   end.
