Added hardwiring for binary clauses.