Implemented special propagation for binary clauses.