Symbol: smt_add_para