Lines Matching refs:assume