We would also like to thank the Google Summer of Code program for their support and Soha Hussein and other JPF organization administrators. This work was partially supported also by the Czech Science Foundation project 23-06506S. Author information Authors and Affiliations KTH Royal Institute of Tec...