Lines Matching defs:assume