Fix #940: Additional pattern-match reverse engineering pattern

Change the type of the param to `LabelDef` and remove the type test.