Fl Proof Of Wc Coverage Search