Compact tree of Isabelle Chevron