Symbol: SUM_TYPE_NODE