| otherwise = pprTrace "Rules.findBest: rule overlap (Rule 1 wins)"
(vcat [ptext SLIT("Expression to match:") <+> ppr fn <+> sep (map ppr args),
ptext SLIT("Rule 1:") <+> ppr rule1,
ptext SLIT("Rule 2:") <+> ppr rule2]) $
findBest target (rule1,ans1) prs
| otherwise = pprTrace "Rules.findBest: rule overlap (Rule 1 wins)"
(vcat [ptext SLIT("Expression to match:") <+> ppr fn <+> sep (map ppr args),
ptext SLIT("Rule 1:") <+> ppr rule1,
ptext SLIT("Rule 2:") <+> ppr rule2]) $
findBest target (rule1,ans1) prs