Lines Matching refs:forall