Symbol: add_subst_symbol