Issue 45: dynamic state logic join too conservative
Project Member Reported by kevin.bi...@gmail.com, Sep 29, 2008
While working on  issue 43 , noticed that DynamicStateLogic.join drops all
implications if the incoming implication lists for a location are not the
same; could just drop the ones missing in one of the incoming lists.  Also
could think about trying to apply the implications which are about to be
dropped.