A tree data structure with OCL constraints to enforce binary tree properties