Lines Matching defs:AssumedBefore