DOC: add taut/2 example for CLP(B)