Lines Matching defs:smt