fn driver_score(t: &CTerm) -> Option<usize>
Driver candidate score — longer literals are more selective. Returns None for matchers that cannot drive a pool sweep.