Symbol: add_decomp