Disable debug output of Bindlinks.
Added filter to the filter out the results that bind same value to different variable names, for non-numberic variables selection via pattern matcher.
Edited facts in scm file for testing planner for solving Einstein puzzle.