Lines Matching defs:DeducibleParams