fix some incorrect AP registrations

* spot/ltsmin/ltsmin.cc: Do not forget to register dead.
* spot/twa/twaproduct.cc: Use copy_ap_of() instead of
register_all_propositions_of() because the latter does
do update ap().

NEWS

 New in spot 2.3.0.dev (not yet released)
 
-  Nothing yet.
+  Bugs fixed:
+
+  - spot::otf_product() was incorrectly registering atomic
+    propositions.
+
+  - spot::ltsmin_model::kripke() forgot to register the "dead"
+    proposition.
 
 New in spot 2.3 (2017-01-19)
 

spot/ltsmin/ltsmin.cc

 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2012, 2014, 2015, 2016 Laboratoire de Recherche et
-// Développement de l'Epita (LRDE)
+// Copyright (C) 2011, 2012, 2014, 2015, 2016, 2017 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE)
 //
 // This file is part of Spot, a model checking library.
 //
@@ -1118,6 +1118,7 @@ namespace spot
     // twa::ap() works.
     for (auto ap: *to_observe)
       res->register_ap(ap);
+    res->register_ap(dead);
     return res;
   }
 

spot/twa/twaproduct.cc

 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2011, 2012, 2014, 2015, 2016 Laboratoire de
-// Recherche et Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2011, 2012, 2014, 2015, 2016, 2017 Laboratoire
+// de Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de
 // Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -306,9 +306,8 @@ namespace spot
         left_kripke_ = false;
       }
 
-    auto d = get_dict();
-    d->register_all_propositions_of(&left_, this);
-    d->register_all_propositions_of(&right_, this);
+    copy_ap_of(left_);
+    copy_ap_of(right_);
 
     assert(num_sets() == 0);
     auto left_num = left->num_sets();