DOC: CLP(B) now supports card(Is,Exprs) in Boolean expressions.