Lines Matching refs:for_all_poss