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].
Fixes #18162 (closed). Fixes #17619 (closed).