YSITD_TG_Bot
says to
#ysitd
<zypeh>: (koru1130: Z3是啥) refinement type 的 debugger