Lines Matching refs:satisfies