Rules: Ignore ticks in rule templates
This fixes #17619 (closed), where a tick snuck in to the template of a rule,
resulting in a panic during rule matching. The tick in question was
introduced via post-inlining, as discussed in
Note [Simplifying rules]. The solution we decided upon was to simply ignore ticks in the
rule template, as discussed in
Note [Tick annotations in RULE matching].