New internal check: Catch extra whitespace in match patterns

Inspired by a recent commit from PKEuS.