Fixed planning logic: when a backward step negative a forward state, only when this state has neither backward or forward rule node, it is to put into the unsatisfied goal list