Added "is_different" EvaluationLinks for each pair of features for puzzle test.
Added check if Bindlink disconnected first, if it's, split it into several Bindlinks, and call pattern matcher separately, and then generate all the combinations for each group of Bindlink results. Still need debug.