reuse of clauses across different letters

The previous implementation duplicated the clauses to avoid symmetries
for each letter. This is now corrected.