No description.
(sb-c::use sb-c::constraints sb-c::consequent-constraints sb-c::alternative-constraints sb-c::quick-p)