DOC: CLP(B): Add example for sat_count/2.