Remove one of those annoying @TRS pattern matches, this time in the infinitary AF processor
Remove one of those annoying @TRS pattern matches, this time in
the infinitary AF processor

pepeiborra/narradar,pepeiborra/narradar,pepeiborra/narradar