Lines Matching defs:SymbolicOp