remove li_let_bind for wand

1 job for time/less-unfold
Status Name Job ID Coverage
  Build
canceled build-coq.8.14.0-timing #159501
fp-timing