Fix #940: Additional pattern-match reverse engineering pattern

We can't. We need it for the two assertions...