WIP translating tree properties from ad-hoc proofs
WIP translating tree properties from ad-hoc proofs

palmskog/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,palmskog/verdi,palmskog/verdi,DistributedComponents/verdi-aggregation