fixed removing duplicate elements from final combination results for splitted Bindlinks inquery.
Removed "is_different" EvalucationLinks. Back to use real time inquery for is_same state, for reducing the Bindlink combination number.
Added return "known" to check if a state is satisfied a goal. If unsatisifed, known = false, mean it just don't know if it's satisfied based on known info, this goal is still possible to be satisfied.
Fixed few bugs in check precondition fitness.