Fixed a but in checking if a state is stasifed a goal
Made the planner consider when a subgoal is not satisfied by a state  found in temporary state list but not sure it's negative based on known info, then it is still possible to be satisfied.