fixed smt_set_mem declarations