Class DisjunctionTree