Properly ppr InstEqs in wanteds of implication constraints