Compact tree of Isabelle CURWOOD