Project provides utilities to test tree isomorphism. Based on: http://logic.pdmi.ras.ru/~smal/files/smal_jass08.pdf https://www.win.tue.nl/~kverbeek/CPPS/material/seminar/CPPS-TreeIsomorphism.pptx