std lib Sinz Sequential Counter spurious activation #58
Description
When index_input is specified (for another use), parts of the sequential counter get activitated as well even though cardinality_type wasn't set to counter. This generates unused search variables and clauses. See for instance line 42 and line 43 of cardinality.bul.