      :post true,
      :pre true,
      :primitive true,
+     :probability 1.0,
      :reward 0,
      :temporal-constraints [{:type :bounds, :value [0 :infinity]}]}]},
   :modes
   {:moa1 {:args [{:type :field-ref, :names [fa]} "fa"], :type :equal},
-   :moa2 {:args [{:type :field-ref, :names [fa]}], :type :equal}},
+   :moa2
+   {:args [{:type :field-ref, :names [fa]} false], :type :equal}},
   :transitions
   {:moa1:moa2
    {:doc "transition :moa1 -> :moa2",

     :post true,
     :pre true,
     :primitive true,
     :reward 0,
     :temporal-constraints [{:type :bounds, :value [0 :infinity]}]}]},
  :modes
  {:moa1 {:args [{:type :field-ref, :names [fa]} "fa"], :type :equal},
   :moa2 {:args [{:type :field-ref, :names [fa]}], :type :equal}},
  :transitions
  {:moa1:moa2
   {:doc "transition :moa1 -> :moa2",

     :post true,
     :pre true,
     :primitive true,
     :probability 1.0,
     :reward 0,
     :temporal-constraints [{:type :bounds, :value [0 :infinity]}]}]},
  :modes
