Symbol: t4_free_smt