Symbol: more synthTree methods.