Lines Matching defs:num_cons