Due to the worldwide outbreak of CoViD-19, ETAPS 2020 has been cancelled. I thus presented this work at the 2021 edition of the conference.
The recording is unfortunately not available, but I presented a previous version of this work at MOVEP 2020 that has been recorded.
I also gave a shorter version of this talk at Highlights 2020.