Lines Matching refs:DeductionFailureInfo