Symbol: set_smt_prop