Full paper at CSEDU 2023 (Prague, Czech Republic) accepted!