Class RefinementTree