Fix implementation of CSP.solve(), __assignment_is_consistent().