Change verdict on 36-apron_22-traces-write-centered-vs-meet-mutex_true - Extension

This merge request extends the existing MR !1343 (merged) to which I have no write access.

The last commit is based on !1349 (merged). Thanks to @lemberger for adjusting the CI.