Debugging deduction expander