- Refactored snapshot creation inside DefaultProducer into a dedicated method - Changed DefaultProducer.produces s.t. it interacts with snapshots in a way similar to how producing conjunctions interacts with snapshots
- Refactored snapshot creation inside DefaultProducer into a dedicated method
- Changed DefaultProducer.produces s.t. it interacts with snapshots in a way similar to how producing conjunctions interacts with snapshots

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors