Symbol: extract_subst_tail