Rewriter: no need to prepare the rule

find_matches and find_matches_in_subgraph do not need to return a
prepared rule, as the only thing that is done is normalisation, which is
not particularly interesting (especially as we minimise after
rewriting).