Verification of relational properties on programs manipulating ADTs

• The results with Shallow Horn Clauses -- SHoCs-- (SAS'24 paper).
• The results with convoluted tree automata (FSCD'23 paper).