Symbol: lower_subexp