Compact tree of Anna Clauses