As a variant:
```python
sym_factory = numbered_symbols('s', cls=Dummy)
s = next(sym_factory)
q = [formula]
dct = {formula: s}
clauses = [s]
```