base features num_clauses vs num_active_clauses

[Ben Provan-Bessell]

See why they differentiate in the feature computation? Normally should not be an issue, but perhaps it is used due to the way storage is allocated.