Lines Matching defs:cnf