Lines Matching refs:Assumption