For the record, a precise disproof of Lemma 3.4 seems to be in this preprint of Amar Hadzihasanovic https://arxiv.org/abs/2007.14505. Further recent developments involving diagrammatic sets are gathered in the book https://arxiv.org/abs/2404.07273 and the preprint https://arxiv.org/abs/2407.06285.