Compact tree of RubyHARCEY