@User If you'd like some more information on CVC, you can check out article 5 from this years WOSET. https://woset-workshop.github.io/WOSET2020.html (or ask me 😉)