Fix for Boolean selects.

Boolean selects were not handled by the solver and caused an InternalError in
the Clausifier.  We now treat Boolean selects like ordinary n-ary predicates.