Count constraints and clauses added

… mainly for curiosity’s sake