Symbol: treehash_inst