Lines Matching refs:forall_info