Lines Matching full:assumptions