fix a bug in ty_abs rule