Lines Matching defs:witness