Adding a new literal and immediately watching it causes an assertion.

The following program causes an assertion.

```python
import clingo

class Propagator:
    def init(self, init):
        init.add_watch(init.add_literal())

ctl = clingo.Control()
ctl.register_propagator(Propagator())
ctl.solve()
```