Merge branch 'proof_nonexistence' into 'master'

Test proof of DS non-existence

See merge request !52
10 jobs for master
in 1 minute and 37 seconds and was queued for 2 seconds