Symbol: htree_rep_invariant_check