/*
** SpeciesTree.rh
*/

typedef /*@null@*/ struct SpeciesTree_rep *SpeciesTree;

struct SpeciesTree_rep {
    /*@observer@*/ /*@dependent@*/ Species root;
    /*@null@*/ /*@only@*/ SpeciesTree left;
    /*@null@*/ /*@only@*/ SpeciesTree right;
} ;