add CLP(B)