Merge branch 'conference/AAAI2024' of gitlab.fi.muni.cz:formela/regstar-devel into conference/AAAI2024