Lines Matching defs:wf_sat