Symbol: SubstitutionNode